We propose a new scripting language called DSLM based on the syn- chronous/reactive model. In DSLM, systems are composed of several sites executed asynchronously, and each site is running agents in a synchronous way. Each agent executes its script in synchronous par- allel way. Scripts may call functions that are considered in an abstract way: their effect on the memory is not considered, but only their "orchestration" i.e. the organisation of their calls in time and in place (the site where they are called). The mapping of sites onto cores allows one to benefit from multicore architectures. Two properties are assumed by DSL: reactivity of sites and absence of interferences between scripts run by distinct sites. We consider several variants...
Implementing synchronization and communication among tasks in parallel programs is a major challenge...
AbstractIn this note we revisit the so-called reactive programming style, which evolves from the syn...
International audienceThis paper concerns formal models for the analysis of communication -centric s...
We propose a new scripting language called DSL bas- ed on the synchronous/reactive model. In DSL, sy...
We propose a new scripting language called DSL bas-ed on the synchronous/reactive model. In DSL, sys...
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design ...
We propose a multicore-ready programming language based on a two-level shared memory model. Concurre...
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'u...
International audienceConcurrent and reactive systems often exhibit multiple time scales. For instan...
Reactive system continuously interact with an environment.Synchronous languages (a family of languag...
International audienceIn this note we revisit the so-called reactive programming style, which evolve...
AbstractWe present the Esterel programming language which is especially designed to program reactive...
This paper describes an experiment in programming part of an operating system kernel using the Ester...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspi...
Dynamic languages became very popular in recent years. At some point, the need for concurrency arose...
Implementing synchronization and communication among tasks in parallel programs is a major challenge...
AbstractIn this note we revisit the so-called reactive programming style, which evolves from the syn...
International audienceThis paper concerns formal models for the analysis of communication -centric s...
We propose a new scripting language called DSL bas- ed on the synchronous/reactive model. In DSL, sy...
We propose a new scripting language called DSL bas-ed on the synchronous/reactive model. In DSL, sys...
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design ...
We propose a multicore-ready programming language based on a two-level shared memory model. Concurre...
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'u...
International audienceConcurrent and reactive systems often exhibit multiple time scales. For instan...
Reactive system continuously interact with an environment.Synchronous languages (a family of languag...
International audienceIn this note we revisit the so-called reactive programming style, which evolve...
AbstractWe present the Esterel programming language which is especially designed to program reactive...
This paper describes an experiment in programming part of an operating system kernel using the Ester...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspi...
Dynamic languages became very popular in recent years. At some point, the need for concurrency arose...
Implementing synchronization and communication among tasks in parallel programs is a major challenge...
AbstractIn this note we revisit the so-called reactive programming style, which evolves from the syn...
International audienceThis paper concerns formal models for the analysis of communication -centric s...