AbstractI describe a new compiler infrastructure for imperative synchronous languages such as Esterel and E⌋↕. Built on the S⊓〉{ 2 system, it includes a new intermediate representation for this class of languages that has simple semantics designed for easy implementation in hardware or software. I describe the structure of this new compiler, the intermediate representation, and how Esterel source is translated into this intermediate representation
Compiler infrastructures that support experimental research are crucial to the advancement of high-p...
Abstract—Embedded hard real-time software systems often need fine-grained parallelism and precise co...
The increasing development and use of computer networks has necessitated international standards to ...
Many embedded systems belong to the class of reactive systems, which actively reacts to the environm...
The performance of compiled Esterel code is suboptimal. Prior work has been done to improve the perf...
Several efficient compilation techniques have been re-cently proposed for the generation of sequenti...
International audienceSeveral efficient compilation techniques have been recently proposed for the g...
The synchronous language Esterel provides deterministic concurrency by adopting a semantics in which...
The fine-grained parallelism and the need for determinism are traditional issues in the design of re...
International audienceThis article presents the very first effective design of higher-order modules ...
Over the past few years, much experience has been gained in semi-automatic protocol implementation ...
The compilation of Esterel into software has mainly targeted uniprocessor execu-tion. The inherent p...
This paper proposes a new reactive multiprocessor for direct execution of Esterel programs. While Es...
Abstract—We propose a fully pipelined, multithreaded, reac-tive processor called STARPro for direct ...
Efficient implementation of communication software is of critical importance for high-speed networks...
Compiler infrastructures that support experimental research are crucial to the advancement of high-p...
Abstract—Embedded hard real-time software systems often need fine-grained parallelism and precise co...
The increasing development and use of computer networks has necessitated international standards to ...
Many embedded systems belong to the class of reactive systems, which actively reacts to the environm...
The performance of compiled Esterel code is suboptimal. Prior work has been done to improve the perf...
Several efficient compilation techniques have been re-cently proposed for the generation of sequenti...
International audienceSeveral efficient compilation techniques have been recently proposed for the g...
The synchronous language Esterel provides deterministic concurrency by adopting a semantics in which...
The fine-grained parallelism and the need for determinism are traditional issues in the design of re...
International audienceThis article presents the very first effective design of higher-order modules ...
Over the past few years, much experience has been gained in semi-automatic protocol implementation ...
The compilation of Esterel into software has mainly targeted uniprocessor execu-tion. The inherent p...
This paper proposes a new reactive multiprocessor for direct execution of Esterel programs. While Es...
Abstract—We propose a fully pipelined, multithreaded, reac-tive processor called STARPro for direct ...
Efficient implementation of communication software is of critical importance for high-speed networks...
Compiler infrastructures that support experimental research are crucial to the advancement of high-p...
Abstract—Embedded hard real-time software systems often need fine-grained parallelism and precise co...
The increasing development and use of computer networks has necessitated international standards to ...
DOI
Add to ORKG