|
5
|
A Functional Extension To Lustre
– Paul Caspi, Marc Pouzet
- 1995
|
|
|
Réseaux de Kahn synchrones
– Paul Caspi, Marc Pouzet, Projet Inria-spectre, Flots De Donn'ees
|
|
16
|
A Co-iterative Characterization of Synchronous Stream Functions
– Paul Caspi, Marc Pouzet
- 1997
|
|
2
|
Realtime Signal Processing Data ow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
13
|
Realtime Signal Processing -- Dataflow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
1
|
Semantics and Compilation of Recursive Sequential Streams in 8 1/2
– Jean-Louis Giavitto, Dominique De Vito, Olivier Michel
- 1997
|
|
3
|
Semantics and compilation of sequential streams into a static SIMD code for the declarative data-parallel language
– Dominique De Vito
- 1996
|
|
20
|
Data-flow Synchronous Languages
– Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
- 1993
|
|
1
|
Data-flow Synchronous Languages
– Calcul Symbolique, Nicolas Halbwachs, Albert Benveniste, Albert Benveniste, Paul Caspi, Paul Caspi, Paul Le Guernic, Paul Le Guernic
- 1993
|
|
71
|
The synchronous languages twelve years later
– Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone
- 2003
|
|
10
|
An executable temporal logic to express safety properties and its connection with the language Lustre
– Nicolas Halbwachs, Jean-Claude Fernandez, Ahmed Bouajjani
- 1993
|
|
24
|
Generating Efficient Code From Data-Flow Programs
– Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
- 1991
|
|
73
|
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
– Nicolas Halbwachs, Fabienne Lagnier, Christophe RATEL
- 1994
|
|
12
|
Embedded Software - An Agenda for Research
– Edward A. Lee
- 1999
|
|
44
|
Embedded Software
– Edward A. Lee
- 2002
|
|
22
|
Towards a higher-order synchronous data-flow language
– Jean-louis Colaço, Grégoire Hamon, Alain Girault, Marc Pouzet
- 2004
|
|
|
8½: Data-Parallelism and Data-Flow
– Olivier Michel, Dominique De Vito, Jean-Paul Sansonnet
- 1996
|
|
|
Programming Languages: Specification
– Basant Rajan
- 1998
|
|
1
|
Diagrammatic Representations in Domain-Specific Languages
– Konstantinos Tourlas
- 2000
|
