Synchronous Kahn Networks (1996)

Cached

Download Links

by Paul Caspi , Marc Pouzet
Citations:58 - 9 self

Active Bibliography

6 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
18 A Co-iterative Characterization of Synchronous Stream Functions – Paul Caspi, Marc Pouzet - 1997
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
21 Guernic, Data-flow synchronous languages – Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs - 1994
92 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
28 Generating Efficient Code From Data-Flow Programs – Nicolas Halbwachs, Pascal Raymond, Christophe Ratel - 1991
80 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
52 Embedded Software – Edward A. Lee - 2002
Lucid Synchrone - version 2.0: Tutorial and reference manual – Marc Pouzet, I Lucid Synchrone - 2001
24 Towards a higher-order synchronous data-flow language – Jean-louis Colaço, Grégoire Hamon, Alain Girault, Marc Pouzet - 2004
6 8 1/2: Data-Parallelism and Data-Flow – Olivier Michel, Dominique De Vito, Jean-Paul Sansonnet - 1996
4 Image-Based Motion Estimation in a Stream Programming Language – Saman Amarasinghe, Abdulbasier Aziz, Abdulbasier Aziz - 2007
1 Diagrammatic Representations in Domain-Specific Languages – Konstantinos Tourlas - 2000
1 Running Modes in a Dataflow Language: Mode-Automata and their Implementation – Florence Maraninchi, Yann Rémond, and Yannick Raoul, Yannick Raoul - 1998