The synchronous language Esterel provides deterministic concurrency by adopting a semantics in which threads march in step with a global clock and communicate in a very disciplined way. Its expressive power comes at a cost, however: it is a difficult language to compile into machine code for standard von Neumann processors. The open-source Columbia Esterel Compiler is a research vehicle for experimenting with new code generation techniques for the language. Providing a front-end and a fairly generic concurrent intermediate representation, a variety of back-ends have been developed. We present three of the most mature ones, which are based on program dependence graphs, dynamic lists, and a virtual machine. After describing the very different...
Esterel is an imperative synchronous programming language for the specification of deterministic con...
This paper proposes a new reactive multiprocessor for direct execution of Esterel programs. While Es...
Several efficient compilation techniques have been re-cently proposed for the generation of sequenti...
Abstract—Embedded hard real-time software systems often need fine-grained parallelism and precise co...
AbstractExecuting concurrent specifications on sequential hardware is important for both simulation ...
Executing concurrent specifications on sequential hardware is important for both simulation of syste...
Esterel belongs to the family of synchronous programming languages, which are affected by cyclic sig...
Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling...
The compilation of Esterel into software has mainly targeted uniprocessor execu-tion. The inherent p...
While concurrency in embedded systems is most often supplied by real-time operating systems, this ap...
AbstractWe present the Esterel programming language which is especially designed to program reactive...
Recent advances in processor technology have lead to affordable multi-core processors, which could e...
The fine-grained parallelism and the need for determinism are traditional issues in the design of re...
International audienceSeveral efficient compilation techniques have been recently proposed for the g...
Esterel is a synchronous, imperative language designed to specify deterministic control systems. How...
Esterel is an imperative synchronous programming language for the specification of deterministic con...
This paper proposes a new reactive multiprocessor for direct execution of Esterel programs. While Es...
Several efficient compilation techniques have been re-cently proposed for the generation of sequenti...
Abstract—Embedded hard real-time software systems often need fine-grained parallelism and precise co...
AbstractExecuting concurrent specifications on sequential hardware is important for both simulation ...
Executing concurrent specifications on sequential hardware is important for both simulation of syste...
Esterel belongs to the family of synchronous programming languages, which are affected by cyclic sig...
Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling...
The compilation of Esterel into software has mainly targeted uniprocessor execu-tion. The inherent p...
While concurrency in embedded systems is most often supplied by real-time operating systems, this ap...
AbstractWe present the Esterel programming language which is especially designed to program reactive...
Recent advances in processor technology have lead to affordable multi-core processors, which could e...
The fine-grained parallelism and the need for determinism are traditional issues in the design of re...
International audienceSeveral efficient compilation techniques have been recently proposed for the g...
Esterel is a synchronous, imperative language designed to specify deterministic control systems. How...
Esterel is an imperative synchronous programming language for the specification of deterministic con...
This paper proposes a new reactive multiprocessor for direct execution of Esterel programs. While Es...
Several efficient compilation techniques have been re-cently proposed for the generation of sequenti...