Results 1 - 10 of 31

Synchronizability for Verification of Asynchronously Communicating Systems

by Samik Basu, Tevfik Bultan, Meriem Ouederni
"... Message-based communication is an increasingly common interaction mechanism used in concurrent and distributed systems where components interact with each other by sending and receiving messages. It is well-known that verification of systems that use asynchronous message-based communication with un ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
Message-based communication is an increasingly common interaction mechanism used in concurrent and distributed systems where components interact with each other by sending and receiving messages. It is well-known that verification of systems that use asynchronous message-based communication

Exploring Partial Synchrony in an Asynchronous Environment Using Dense LU

by Jonathan Liffl, Phil Miller, Ramprasad Venkataraman, Anshu Arya, Terry Jones, Laxmikant V. Kalé
"... Recent forecasts in high-performance computing predict that programming models of the future will be asynchronous in nature. However, opportunistic execution of available work can lead to interference with segments of the computation that should execute synchronously. This paper describes a scheduli ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Recent forecasts in high-performance computing predict that programming models of the future will be asynchronous in nature. However, opportunistic execution of available work can lead to interference with segments of the computation that should execute synchronously. This paper describes a

Embedding Polychrony into Synchrony

by Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin , 2000
"... This article presents an embedding of polychronous programs into synchronous ones. Due to this embedding, it is not only possible to deepen the understanding of these different models of computation but more importantly, it is possible to transfer compilation techniques that were developed for synch ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
. As particular examples for the mentioned crossfertilization, we show how a simulator and a verification backend for synchronous programs can be made available to polychronous specifications, which is a first step towards integrating heterogeneous models of computation.

Embedding Polychrony into Synchrony

by Jens Br, Mike Gemünde, Klaus Schneider, Eep K. Shukla, Jean-pierre Talpin
"... Abstract—This article presents an embedding of poly-chronous programs into synchronous ones. Due to this em-bedding, it is not only possible to deepen the understanding of these different models of computation but more importantly, it is possible to transfer compilation techniques that were de-velop ..."
Abstract - Add to MetaCart
. As particular examples for the mentioned cross-fertilization, we show how a simulator and a verification backend for synchronous programs can be made available to polychronous specifications, which is a first step towards integrating heterogeneous models of computation. I.

Verification of Concurrent Objects with Asynchronous Method Calls

by unknown authors
"... Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in distributed and unstable networks. Second, the common model of thread concurrency makes reasoning about program behavior ver ..."
Abstract - Add to MetaCart
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in distributed and unstable networks. Second, the common model of thread concurrency makes reasoning about program behavior

Finding non-terminating executions in distributed asynchronous programs

by Michael Emmi, Akash Lal , 2012
"... Abstract. Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based communication. As even simple programming mistakes have the capability to introduce divergent behavior, a key l ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
Abstract. Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based communication. As even simple programming mistakes have the capability to introduce divergent behavior, a key

Embedded control: from asynchrony to synchrony and back

by Paul Caspi - In Proc. of 1st Int. Workshop on Embedded Software, EMSOFT’01, T.A. Henzinger and C.M. Kirsch Eds., LNCS 2211, 80–96 , 2001
"... Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than fifteen years, but especially during the Crisys Esprit project. We show that in contrast with the asynchronous tradition ..."
Abstract - Cited by 15 (2 self) - Add to MetaCart
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than fifteen years, but especially during the Crisys Esprit project. We show that in contrast with the asynchronous tradition

CML: A Prescription for Safely Relaxing Synchrony

by Kc Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
"... Abstract. A functional programming discipline, combined with abstractions like Concurrent ML (CML)’s first-class synchronous events, offers an attractive pro-gramming model for concurrency. In high-latency distributed environments, like the cloud, however, the high communication latencies incurred b ..."
Abstract - Add to MetaCart
by synchronous communication can compromise performance. While switching to an explicitly asynchronous communication model may reclaim some of these costs, program structure and understanding also becomes more complex. To ease the challenge of migrating concurrent applications to distributed cloud environments

Languages for Reactive Specifications: Synchrony Vs Asynchrony

by Shyamasundar Tata, R. K. Shyamasundar, S. Ramesh - Asynchrony, Proc. FT-RT-FTS 94, LNCS, 863
"... Asynchronous and Synchronous languages have been in use for the specification of reactive systems. One of the main distinguishing features of these two classes lies in the way nondeterminism is used for the specification of programs. From this viewpoint, we analyze CSP (a typical asynchronous langua ..."
Abstract - Add to MetaCart
Asynchronous and Synchronous languages have been in use for the specification of reactive systems. One of the main distinguishing features of these two classes lies in the way nondeterminism is used for the specification of programs. From this viewpoint, we analyze CSP (a typical asynchronous

On the Desynchronization of Synchronous Applications

by Pascal Aubry, Paul Le Guernic , 1996
"... Synchronous data-flow programming is based on the abstraction of the continuous time into a discrete one. It offers verification and proof techniques appreciated by programmers of critical reactive systems. Armed with a strong semantics, the synchronous data-flow languages (Signal, Lustre,...) gener ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Synchronous data-flow programming is based on the abstraction of the continuous time into a discrete one. It offers verification and proof techniques appreciated by programmers of critical reactive systems. Armed with a strong semantics, the synchronous data-flow languages (Signal, Lustre
Results 1 - 10 of 31