Filters








12,708 Hits in 6.7 sec

Converse: an interoperable framework for parallel programming

L.V. Kale, M. Bhandarkar, N. Jagathesan, S. Krishnan, J. Yelon
Proceedings of International Conference on Parallel Processing  
This paper describes a framework, Converse, that supports such multi-lingual interoperability.  ...  The framework is meant to be inclusive, and has been veried to support the SPMD programming style, message-driven programming, parallel object-oriented programming, and thread-based p aradigms.  ...  Klaus Schulten at the University of Illinois for the use of their computing facilities.  ... 
doi:10.1109/ipps.1996.508060 dblp:conf/ipps/KaleBJKY96 fatcat:ydklvyyoszcdriofdj3lmdnr64

Multiparadigm, multilingual interoperability: Experience with converse [chapter]

L. V. Kalé, Milind Bhandarkar, Robert Brunner, Joshua Yelon
1998 Lecture Notes in Computer Science  
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and that of permitting interoperability  ...  A major multilingual multi-paradigm parallel application developed within the Converse framework is described.  ...  Converse Architecture and Re nements The Converse run-time framework was designed with the objective of supporting a wide variety of parallel programming paradigms without requiring them to sacri ce e  ... 
doi:10.1007/3-540-64359-1_682 fatcat:abvvt5pvqnfw7i4kgggroxxmru

A framework for understanding file format conversions

Peter Bajcsy, Rob Kooper, Luigi Marini, Kenton McHenry, Michal Ondrejcek
2010 Proceedings of the 2010 Roadmap for Digital Preservation Interoperability Framework Workshop on - US-DPIF '10  
The framework consists of e-services for (a) finding file format conversion software, (b) executing file format conversions using available software, and (c) evaluating information loss across conversions  ...  The novelty of the framework is in organizing the information about file format conversions, providing services about file format conversion paths, in prototyping a general architecture for reusing existing  ...  INTRODUCTION In the current digital era, two basic questions are posed by the NIST organized workshop on roadmap development for Digital Preservation Interoperability Framework: "Can data generated from  ... 
doi:10.1145/2039274.2039284 fatcat:3bynn3nferclbiddu52cgyz35u

Application performance of a linux cluster using converse [chapter]

Laxmikant Kałé, Robert Brunner, James Phillips, Krishnan Varadarajan
1999 Lecture Notes in Computer Science  
We have implemented an interoperable runtime system called Converse on a cluster of Linux PCs connected by an inexpensive switched Fast Ethernet.  ...  As a result PCs make an attractive platform for computational programs.  ...  Acknowledgements The computer time for the performance comparisons on the ASCI Red was provided by the Center for Simulation of Advanced Rockets at the University of Illinois at Urbana-Champaign, and the  ... 
doi:10.1007/bfb0097933 fatcat:3uozq5xfzfhy5i7ioucvzog5by

Session Types Go Dynamic or How to Verify Your Python Conversations

Rumyana Neykova
2013 Electronic Proceedings in Theoretical Computer Science  
The presented framework overcomes the limitations of previous works on the session types where all endpoints should be statically typed so that they do not permit interoperability with untyped participants  ...  Communication safety of the whole system is guaranteed at runtime by monitors that check the execution traces comply with an associated protocol.  ...  I thank my supervisor Nobuko Yoshida for her constant support and ideas, my colleagues Raymond Hu and Pierre-Malo Denilou for the discussions about the framework; the anonymous reviewers for useful comments  ... 
doi:10.4204/eptcs.137.8 fatcat:fnbg7ipnvzehxlkh2a5ba3icsm

From the desktop to the grid: scalable bioinformatics via workflow conversion

Luis de la Garza, Johannes Veit, Andras Szolek, Marc Röttig, Stephan Aiche, Sandra Gesing, Knut Reinert, Oliver Kohlbacher
2016 BMC Bioinformatics  
Results: We have developed a set of tools that enables the scientific community to benefit from workflow interoperability.  ...  workflow editor, and the Grid and User Support Environment, a web-based framework able to interact with several high-performance computing resources.  ...  Supported by the German Network for Bioinformatics Infrastructure (Deutsches Netzwerk für Bioinformatik-Infrastruktur, de.NBI). We  ... 
doi:10.1186/s12859-016-0978-9 pmid:26968893 pmcid:PMC4788856 fatcat:2peb7eek2baynnkplbnh42xyrm

Blind-date conversation joining

Luca Cesari, Rosario Pugliese, Francesco Tiezzi
2017 Service Oriented Computing and Applications  
We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to know in advance any information  ...  We then present its formal semantics by resorting to COWS, a process calculus specifically designed for modelling service-oriented applications.  ...  We leave as a future work the task of formalizing the pattern underlying blind-date conversation joining in a way which is independently from the specific case study considered in this paper.  ... 
doi:10.1007/s11761-017-0214-0 fatcat:letkdmkpl5a6tfizxh3opl4b4q

Blind-date Conversation Joining

Luca Cesari, Rosario Pugliese, Francesco Tiezzi
2013 Electronic Proceedings in Theoretical Computer Science  
We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to know in advance any information  ...  We then present its formal semantics by resorting to COWS, a process calculus specifically designed for modelling service-oriented applications.  ...  We leave as a future work the task of formalizing the pattern underlying blind-date conversation joining in a way which is independently from the specific case study considered in this paper.  ... 
doi:10.4204/eptcs.123.3 fatcat:2z4yymjoabcfpomj3lx3vq2kmy

Semantic Conversion of Transport Data Adopting Declarative Mappings: an Evaluation of Performance and Scalability

Mario Scrocca, Alessio Carenini, Marco Comerio, Irene Celino
2021 Zenodo  
In this paper, we present a thorough evaluation of the Chimera framework for semantic data conversion through declarative mappings, in both a dataset and message conversion scenarios.  ...  The transportation domain is characterised by a multitude of different formats to represent data, thus creating a problem of (lack of) interoperability between systems and a need for data conversion.  ...  presented research was partially supported by the SPRINT project (Grant Agreement 826172) and the RIDE2RAIL project (Grant Agreement 881825), co-funded by the European Commission under the Horizon 2020 Framework  ... 
doi:10.5281/zenodo.6397550 fatcat:b2eluvxtrfdw3hnldssb3t4rcq

A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems [chapter]

Martin Dinkloh, Jens Nimis
2004 Lecture Notes in Computer Science  
The existing gap between analysis and design of multiagent systems and their implementation leads to an increased programming effort.  ...  Its use follows a conversation programming workflow which supports Agent UML and finite state machines as graphical notations.  ...  The Foundation for InteroPerable Agents (FIPA) uses AUML interaction diagrams and an informal semantic description in the specification for conversation policies (CPs), which is called interaction protocols  ... 
doi:10.1007/978-3-540-25936-7_10 fatcat:4atxis7pb5eflgtcv6y4xkkv5q

SMIL to MPEG-4 BIFS Conversion

Beilu Shao, Laureano Velazquez, Nicolas Scaringella, Neha Singh, Marco Mattavelli
2006 2006 Second International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution (AXMEDIS'06)  
And then we propose a conversion scheme from SMIL to the Binary Format for Scenes (BIFS) of MPEG-4 to take advantage of both formats.  ...  According to this scheme, we design the real implementation method using the current available tools and discuss the purpose and significance of such conversion.  ...  and external to the project including the Expert User Group and all affiliated members for their interests, support and collaboration.  ... 
doi:10.1109/axmedis.2006.49 dblp:conf/axmedis/ShaoVSSM06 fatcat:wm4teli6lfaxtn7kf4wdugr4q4

Typed closure conversion preserves observational equivalence

Amal Ahmed, Matthias Blume
2008 Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08  
In particular, we prove that typed closure conversion for the polymorphic λ-calculus with existential and recursive types is fully abstract.  ...  When programs are compiled into a different language, this is true only if the translation process preserves observational equivalence.  ...  Glew [12] showed a form of closure conversion for an object calculus and proved it fully abstract.  ... 
doi:10.1145/1411204.1411227 dblp:conf/icfp/AhmedB08 fatcat:6llfzaa55bbj7ol2dmtsixvcma

Typed closure conversion preserves observational equivalence

Amal Ahmed, Matthias Blume
2008 SIGPLAN notices  
In particular, we prove that typed closure conversion for the polymorphic λ-calculus with existential and recursive types is fully abstract.  ...  When programs are compiled into a different language, this is true only if the translation process preserves observational equivalence.  ...  Glew [12] showed a form of closure conversion for an object calculus and proved it fully abstract.  ... 
doi:10.1145/1411203.1411227 fatcat:k7jwjcovfngj7c6w34tnzbuphq

A Conversational Approach to the Interaction With Web Services

Liliana Ardissono, Giovanna Petrone, Marino Segnan
2004 Computational intelligence  
To this extent, we provide a computational framework that can be exploited to manage a conversation between the consumer and the service provider.  ...  The emerging standards for the specification of Web Services support the publication of the static interfaces of the operations they may execute.  ...  At the moment, the workflow engine and the conversation modules have to interact with one another as separate programs, but we would like to embed our framework in the workflow engine, so that the conversation  ... 
doi:10.1111/j.0824-7935.2004.00261.x fatcat:cm5edcajarbwtf2use7adpjojm

Development of a computationally efficient voice conversion system on mobile phones

Shuhua Gao, Xiaoling Wu, Cheng Xiang, Dongyan Huang
2019 APSIPA Transactions on Signal and Information Processing  
Experimental evaluation results indicate that our system can achieve acceptable voice conversion performance while the conversion time for a five-second sentence only takes slightly more than one second  ...  We attempt to boost the computational efficiency by making the best of hardware characteristics of today's mobile phones, such as parallel computing on multiple cores and the advanced vectorization support  ...  In Section II, we briefly introduce the underlying algorithm framework for voice conversion in our system.  ... 
doi:10.1017/atsip.2018.23 fatcat:ldtuy5hjjbgjdni2qo4yikfmwu
« Previous Showing results 1 — 15 out of 12,708 results