The compilation of Esterel into software has mainly targeted uniprocessor execu-tion. The inherent parallelism of the original description would typically have to be compiled away in order for it to be executed sequentially on a processor. This paper proposes a new compilation scheme that would be able to compile Esterel for distrib-uted execution. This method enables the parallelism of the original description to be realised through actual concurrent execution on multiple processors, or through sequentialized concurrency within a single processor. Both these forms of concur-rency can be mixed together for a given implementation. Experimental results indicate significant speed-ups in the performance of concurrently executed distrib-uted pro...
AbstractThe Saxo-rt compiler implements a original method for compiling the concurrent synchronous l...
Efficient implementation of communication software is of crucial importance for highspeed networks. ...
The challenge of programming many-core architectures efficiently and effectively requires models and...
This paper proposes a new reactive multiprocessor for direct execution of Esterel programs. While Es...
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...
Executing concurrent specifications on sequential hardware is important for both simulation of syste...
The synchronous language Esterel provides deterministic concurrency by adopting a semantics in which...
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 ...
AbstractEsterel programs have traditionally been compiled to software code for general purpose proce...
Abstract—We propose a fully pipelined, multithreaded, reac-tive processor called STARPro for direct ...
International audienceThis paper presents a first attempt to generate parallel code from Estelle des...
International audienceSeveral efficient compilation techniques have been recently proposed for the g...
E cient implementation of communication software is of critical importance for highspeed networks. P...
AbstractThe Saxo-rt compiler implements a original method for compiling the concurrent synchronous l...
Efficient implementation of communication software is of crucial importance for highspeed networks. ...
The challenge of programming many-core architectures efficiently and effectively requires models and...
This paper proposes a new reactive multiprocessor for direct execution of Esterel programs. While Es...
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...
Executing concurrent specifications on sequential hardware is important for both simulation of syste...
The synchronous language Esterel provides deterministic concurrency by adopting a semantics in which...
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 ...
AbstractEsterel programs have traditionally been compiled to software code for general purpose proce...
Abstract—We propose a fully pipelined, multithreaded, reac-tive processor called STARPro for direct ...
International audienceThis paper presents a first attempt to generate parallel code from Estelle des...
International audienceSeveral efficient compilation techniques have been recently proposed for the g...
E cient implementation of communication software is of critical importance for highspeed networks. P...
AbstractThe Saxo-rt compiler implements a original method for compiling the concurrent synchronous l...
Efficient implementation of communication software is of crucial importance for highspeed networks. ...
The challenge of programming many-core architectures efficiently and effectively requires models and...