Sciweavers

9 search results - page 1 / 2
» A synchronous language at work: the story of Lustre
Sort
View
72
Voted
MEMOCODE
2005
IEEE
15 years 3 months ago
A synchronous language at work: the story of Lustre
We recall the story of the development of the synchronous data-flow language LUSTRE and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its ...
Nicolas Halbwachs
80
Voted
EMSOFT
2004
Springer
15 years 1 months ago
Defining and translating a "safe" subset of simulink/stateflow into lustre
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
Norman Scaife, Christos Sofronis, Paul Caspi, Stav...
EMSOFT
2004
Springer
15 years 2 months ago
Towards a higher-order synchronous data-flow language
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
Jean-Louis Colaço, Alain Girault, Gré...
93
Voted
EMSOFT
2009
Springer
15 years 1 months ago
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
Marc Pouzet, Pascal Raymond
EMSOFT
2007
Springer
15 years 3 months ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...