International audienceThis paper presents a first attempt to generate parallel code from Estelle descriptions. We have dealt with a simple context in which only a static subset of Estelle and an homogeneous target machine are considered. We begin to present and justify the concept of experimentation on distributed algorithms for which our Estelle compiler has been designed. Then we discuss how the Estelle constructs are mapped onto C structures and how they are interpreted by a distributed runtime kernel. A technical annex gives an idea of the current version of the tool, named Echidna
This paper deals with the construction and use of simple synthetic programs that model the behavior ...
International audienceFormal process languages inheriting the concurrency and communication features...
International audienceWe present a new model for distributed shared memory systems, based on remote ...
International audienceThis paper presents a first attempt to generate parallel code from Estelle des...
Efficient implementation of communication software is of critical importance for high-speed networks...
The compilation of Esterel into software has mainly targeted uniprocessor execu-tion. The inherent p...
International audienceFormal process languages inheriting the concurrency and communication features...
The superimposition is a distributed program composition. It is a concenient concept for the design ...
Efficient implementation of communication software is of crucial importance for high-speed networks....
(eng) Our work deals with simulation of distributed memory parallel computers. The tool we realized ...
International audienceThis paper presents a parallel execution model and a many-core processor desig...
International audienceThis paper presents an environment for programming distributed memory computer...
The synchronous language Esterel provides deterministic concurrency by adopting a semantics in which...
In this thesis we propose a distributed-memory parallel-computer simulation system called PUPPET (Pe...
Invited paper. Extended version published in the Parallel Processing Letters, URL: http://hal.inria....
This paper deals with the construction and use of simple synthetic programs that model the behavior ...
International audienceFormal process languages inheriting the concurrency and communication features...
International audienceWe present a new model for distributed shared memory systems, based on remote ...
International audienceThis paper presents a first attempt to generate parallel code from Estelle des...
Efficient implementation of communication software is of critical importance for high-speed networks...
The compilation of Esterel into software has mainly targeted uniprocessor execu-tion. The inherent p...
International audienceFormal process languages inheriting the concurrency and communication features...
The superimposition is a distributed program composition. It is a concenient concept for the design ...
Efficient implementation of communication software is of crucial importance for high-speed networks....
(eng) Our work deals with simulation of distributed memory parallel computers. The tool we realized ...
International audienceThis paper presents a parallel execution model and a many-core processor desig...
International audienceThis paper presents an environment for programming distributed memory computer...
The synchronous language Esterel provides deterministic concurrency by adopting a semantics in which...
In this thesis we propose a distributed-memory parallel-computer simulation system called PUPPET (Pe...
Invited paper. Extended version published in the Parallel Processing Letters, URL: http://hal.inria....
This paper deals with the construction and use of simple synthetic programs that model the behavior ...
International audienceFormal process languages inheriting the concurrency and communication features...
International audienceWe present a new model for distributed shared memory systems, based on remote ...