Add to ORKGThis paper describes a modular compilation scheme for distributed synchronous programming. The approach is first described mathematically and then implemented as a library to distribute Simulink (59). Application of the scheme is illustrated by developing a control system to coordinate traffic signals
International audienceSIGNAL, a synchronous and data-flow oriented language, allows the user to desi...
International audienceHarel and Pnueli showed (1985) that dynamical systems are an essential in the ...
International audienceThe compilation of imperative synchronous languages like Esterel has been wide...
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [10...
Abstract — This paper is about the modular compilation and distribution of a sub-class of Simulink p...
Abstract—Synchronous programs were introduced to sim-plify the development of reactive systems hidin...
Abstract We present a new method for modular compilation of synchronous programs given in imperative...
Abstract—Esterel and other imperative synchronous languages offer a rich set of statements, which ca...
In planning traffic-dependent controls for traffic signal systems repetitive subproblems frequently ...
Abstract We present a new method for modular compilation of synchronous programs given in imperative...
AbstractIn this paper, systems which interact permanently with their environment are considered. Suc...
Synchronous languages, such as Signal, are best suited for the design of dependable real-time system...
International audienceWe study the problem of separate compilation, i.e., the generation of modular ...
International audienceWe describe the extension of a reactive programming language with a behavioral...
In this work a distributed algorithm for the optimization of signal setting on urban network is prop...
International audienceSIGNAL, a synchronous and data-flow oriented language, allows the user to desi...
International audienceHarel and Pnueli showed (1985) that dynamical systems are an essential in the ...
International audienceThe compilation of imperative synchronous languages like Esterel has been wide...
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [10...
Abstract — This paper is about the modular compilation and distribution of a sub-class of Simulink p...
Abstract—Synchronous programs were introduced to sim-plify the development of reactive systems hidin...
Abstract We present a new method for modular compilation of synchronous programs given in imperative...
Abstract—Esterel and other imperative synchronous languages offer a rich set of statements, which ca...
In planning traffic-dependent controls for traffic signal systems repetitive subproblems frequently ...
Abstract We present a new method for modular compilation of synchronous programs given in imperative...
AbstractIn this paper, systems which interact permanently with their environment are considered. Suc...
Synchronous languages, such as Signal, are best suited for the design of dependable real-time system...
International audienceWe study the problem of separate compilation, i.e., the generation of modular ...
International audienceWe describe the extension of a reactive programming language with a behavioral...
In this work a distributed algorithm for the optimization of signal setting on urban network is prop...
International audienceSIGNAL, a synchronous and data-flow oriented language, allows the user to desi...
International audienceHarel and Pnueli showed (1985) that dynamical systems are an essential in the ...
International audienceThe compilation of imperative synchronous languages like Esterel has been wide...