We propose a new scripting language called DSL bas- ed on the synchronous/reactive model. In DSL, sys- tems are composed of several sites executed asyn- chronously, and each site is running scripts in a syn- chronous parallel way. Scripts may call functions that are considered in an abstract way: their effect on the memory is not considered, but only their "orchestra- tion" 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 multi- core architectures. Two properties are assumed by DSL: reactivity of sites and absence of interferences between scripts run by distinct sites. We consider several variants of DSL. In the first variant, functions are...
AbstractIn this paper, systems which interact permanently with their environments are considered. Su...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspi...
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, sys...
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 DSLM based on the syn- chronous/reactive model. In DSLM, ...
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design ...
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'u...
International audienceWe propose a Globally Asynchronous Locally Syn- chronous language DSystemJ for...
International audienceHarel and Pnueli showed (1985) that dynamical systems are an essential in the ...
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 paper, systems which interact permanently with their environments are ...
International audienceIn this note we revisit the so-called reactive programming style, which evolve...
We demonstrate how TransLucid can be used as a reactive system. At each instant, there is a set of a...
AbstractIn this paper, systems which interact permanently with their environments are considered. Su...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspi...
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, sys...
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 DSLM based on the syn- chronous/reactive model. In DSLM, ...
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design ...
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'u...
International audienceWe propose a Globally Asynchronous Locally Syn- chronous language DSystemJ for...
International audienceHarel and Pnueli showed (1985) that dynamical systems are an essential in the ...
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 paper, systems which interact permanently with their environments are ...
International audienceIn this note we revisit the so-called reactive programming style, which evolve...
We demonstrate how TransLucid can be used as a reactive system. At each instant, there is a set of a...
AbstractIn this paper, systems which interact permanently with their environments are considered. Su...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspi...
International audienceThis paper concerns formal models for the analysis of communication -centric s...