Search For:

Displaying 1-4 out of 4 total
Embedding Polychrony into Synchrony
Found in: IEEE Transactions on Software Engineering
By Jens Brandt,Mike Gemunde,Klaus Schneider,Sandeep K. Shukla,Jean-Pierre Talpin
Issue Date:July 2013
pp. 917-929
This paper 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 compilat...
Causality analysis of synchronous programs with refined clocks
Found in: High-Level Design, Validation, and Test Workshop, IEEE International
By Mike Gemunde,Jens Brandt,Klaus Schneider
Issue Date:November 2011
pp. 25-32
Synchronous languages are based on the synchronous abstraction of time, which divides the execution of programs into an infinite sequence of macro steps that consist of finitely many micro steps. A well-studied problem of this model of computation are cycl...
Desynchronizing Synchronous Programs by Modes
Found in: Application of Concurrency to System Design, International Conference on
By Jens Brandt, Mike Gemünde, Klaus Schneider
Issue Date:July 2009
pp. 32-41
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures that do not follow this model of computation (like distributed systems or syste...
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
Found in: Application of Concurrency to System Design, International Conference on
By Mike Gemünde, Jens Brandt, Klaus Schneider
Issue Date:June 2010
pp. 157-168
The synchronous model of computation divides the execution of a program into an infinite sequence of so-called macro steps, which are further divided into finitely many micro steps. Since all threads of a program are forced to run in lockstep, programmers ...