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 defi...
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'u...
Distributed applications are traditionally developed using separate modules for each component in th...
We demonstrate how TransLucid can be used as a reactive system. At each instant, there is a set of a...
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, ...
International audienceConcurrent and reactive systems often exhibit multiple time scales. For instan...
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design ...
International audienceHarel and Pnueli showed (1985) that dynamical systems are an essential in the ...
Reactive system continuously interact with an environment.Synchronous languages (a family of languag...
Implementing synchronization and communication among tasks in parallel programs is a major challenge...
International audienceWe propose a Globally Asynchronous Locally Syn- chronous language DSystemJ for...
Synchronous programming languages are programming languages with an abstract (logical) notion of tim...
textabstractThis paper concerns formal models for the analysis of communication-centric software sys...
International audienceThis paper concerns formal models for the analysis of communication -centric s...
Synchronous languages, such as Signal, are best suited for the design of dependable real-time system...
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'u...
Distributed applications are traditionally developed using separate modules for each component in th...
We demonstrate how TransLucid can be used as a reactive system. At each instant, there is a set of a...
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, ...
International audienceConcurrent and reactive systems often exhibit multiple time scales. For instan...
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design ...
International audienceHarel and Pnueli showed (1985) that dynamical systems are an essential in the ...
Reactive system continuously interact with an environment.Synchronous languages (a family of languag...
Implementing synchronization and communication among tasks in parallel programs is a major challenge...
International audienceWe propose a Globally Asynchronous Locally Syn- chronous language DSystemJ for...
Synchronous programming languages are programming languages with an abstract (logical) notion of tim...
textabstractThis paper concerns formal models for the analysis of communication-centric software sys...
International audienceThis paper concerns formal models for the analysis of communication -centric s...
Synchronous languages, such as Signal, are best suited for the design of dependable real-time system...
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'u...
Distributed applications are traditionally developed using separate modules for each component in th...
We demonstrate how TransLucid can be used as a reactive system. At each instant, there is a set of a...