This paper addresses the design of distributed systems with synchronous dataflow languages. As modular design entails handling both architecture and functional modularity, we propose a language-oriented solution, involving the extension of a synchronous dataflow language with primitives for program distribution. These primitives allow the programmer to describe the architecture of the system and to express where streams and expressions are located in this architecture. A distributed semantics is first proposed as formalization of the distributed execution of programs. A type and effect system is then provided in order to infer the localization of non-annotated values by means of type inference and to ensure, at compilation time, the consist...
International audience—This paper presents a distribution methodology for synchronous programs, appl...
A framework for data-flow distributed processing is established through the definition of a data-flo...
This paper presents a reusable design of a data distribution frame-work for data parallel high perfo...
This paper addresses the design of distributed systems with synchronous dataflow languages. As modul...
Nous nous intéressons à la conception sûre de systèmes répartis. Nous proposons une méthode permetta...
International audienceModularity is advocated as a solution for the design of large systems; the mat...
Modularity is advocated as a solution for the design of large systems, the mathematical translation ...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
International audienceSIGNAL, a synchronous and data-flow oriented language, allows the user to desi...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
Abstract—Synchronous programs were introduced to sim-plify the development of reactive systems hidin...
Dataflow is presented as an alternative to the von Neumann model as the basis for computer system de...
AbstractModularity is advocated as a solution for the design of large systems; the mathematical tran...
International audience—This paper presents a distribution methodology for synchronous programs, appl...
A framework for data-flow distributed processing is established through the definition of a data-flo...
This paper presents a reusable design of a data distribution frame-work for data parallel high perfo...
This paper addresses the design of distributed systems with synchronous dataflow languages. As modul...
Nous nous intéressons à la conception sûre de systèmes répartis. Nous proposons une méthode permetta...
International audienceModularity is advocated as a solution for the design of large systems; the mat...
Modularity is advocated as a solution for the design of large systems, the mathematical translation ...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
International audienceSIGNAL, a synchronous and data-flow oriented language, allows the user to desi...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
Abstract—Synchronous programs were introduced to sim-plify the development of reactive systems hidin...
Dataflow is presented as an alternative to the von Neumann model as the basis for computer system de...
AbstractModularity is advocated as a solution for the design of large systems; the mathematical tran...
International audience—This paper presents a distribution methodology for synchronous programs, appl...
A framework for data-flow distributed processing is established through the definition of a data-flo...
This paper presents a reusable design of a data distribution frame-work for data parallel high perfo...