|
|
8½: Data-Parallelism and Data-Flow
– Olivier Michel, Dominique De Vito, Jean-Paul Sansonnet
- 1996
|
|
|
Scientific Report of the HDR application file.
– unknown authors
- 1998
|
|
|
Design and Implementation of 8½, a Declarative Data-Parallel Language
– Olivier Michel
- 1995
|
|
3
|
Semantics and compilation of sequential streams into a static SIMD code for the declarative data-parallel language
– Dominique De Vito
- 1996
|
|
1
|
Semantics and Compilation of Recursive Sequential Streams in 8 1/2
– Jean-Louis Giavitto, Dominique De Vito, Olivier Michel
- 1997
|
|
5
|
Design and Implementation of a Declarative Data-Parallel Language
– Olivier Michel, Jean-Louis Giavitto
- 1994
|
|
7
|
A Data-Parallel Declarative Language for the Simulation of Large Dynamical Systems and Its Compilation
– Olivier Michel, Jean-Louis Giavitto, Jean-Paul Sansonnet
- 1994
|
|
4
|
Introducing Dynamicity in the Data-Parallel Language
– Olivier Michel
- 1996
|
|
154
|
Implementation of a Portable Nested Data-Parallel Language
– Guy Blelloch, Siddhartha Chatterjee, Jonathan C. Hardwick, Jay Sipelstein, Marco Zagha
- 1994
|
|
1
|
Verifying Multran Programs With Temporal Logic
– Wanli Ma, Mehmet Orgun
- 1995
|
|
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
|
|
8
|
A Language-Oriented Approach to the Design of Systolic Chips
– Hervé Leverge, Christophe Mauras, Patrice Quinton
- 1991
|
|
10
|
An executable temporal logic to express safety properties and its connection with the language Lustre
– Nicolas Halbwachs, Jean-Claude Fernandez, Ahmed Bouajjani
- 1993
|
|
5
|
A Functional Extension To Lustre
– Paul Caspi, Marc Pouzet
- 1995
|
|
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
|
|
22
|
Implementation of the Data-flow Synchronous Language SIGNAL
– Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic
- 1995
|
|
49
|
Synchronous Kahn Networks
– Paul Caspi, Marc Pouzet
- 1996
|
|
420
|
The synchronous dataflow programming language LUSTRE
– N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud
- 1991
|
