N. Halbwachs. Synchronous programming of reactive systems, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004) (Correct)
No context found.
N. Halbwachs. Synchronous programming of reactive systems, 1993.
Causality Analysis of Synchronous Programs with Delayed.. - Schneider, Brandt, Schuele (2004) (Correct)
No context found.
HALBWACHS, N. Synchronous programming of reactive systems. Kluwer, 1993.
Improving Constructiveness in Code Generators - Schneider, Brandt, Schuele.. (2005) (Correct)
No context found.
Halbwachs, N., "Synchronous programming of reactive systems," Kluwer, 1993.
A Preliminary Report on the Embedded Virtual Machine - Arkadeb Ghosal Marco (Correct)
No context found.
Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic Publisher (1993)
ULM - A Core Programming Model for Global Computing (Extended.. - Boudol (Correct)
No context found.
N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer (####).
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
No context found.
N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
ECL: A Specification Environment for System-Level Design - Lavagno, Sentovich (20 citations) (Correct)
No context found.
N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
The SugarCubes v2.0 Reference Manual - Jean-Ferdy Susini Frdric (Correct)
No context found.
N. Halbwachs, Synchronous Programming of Reactive System, Kluwer Academic Pub., 1993.
The Esterel v5 Language Primer - Version v5_91 - Berry (2000) (5 citations) (Correct)
No context found.
N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.
Optimizations For Faster Execution Of Esterel Programs - Potop-Butucaru, de Simone (2004) (Correct)
No context found.
Nicolas Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Publishers, 1993.
Representation and Analysis of Reactive Behaviors: - Synchronous Approach Charles (Correct)
No context found.
N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Amsterdam, 1993.
Accessing Databases from Esterel - David White Gerald (2004) (Correct)
No context found.
N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
ULM - A Core Programming Model for Global Computing - Boudol (2004) (1 citation) (Correct)
No context found.
N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer (####).
Unknown - Frdric Boussinot Jean-Ferdy (Correct)
No context found.
N. Halbwachs, Synchronous Programming of Reactive System, Kluwer Academic Pub., 1993. The SugarCubes Tool Box
A Reactive Behavior framework for dynamic virtual worlds - Boussinot, Susini, al. (2004) (1 citation) (Correct)
No context found.
N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Pub., 1993.
Instantaneous Termination in Pure Esterel - Olivier Tardieu And (2003) (1 citation) (Correct)
No context found.
N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.
Concurrency in Synchronous Systems - Potop-Butucaru, Caillaud, Benveniste (2004) (Correct)
No context found.
N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Publishers, 1993.
Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004) (Correct)
No context found.
N. Halbwachs. Synchronous programming of reactive systems, 1993.
A Reactive Model-based Programming Language for Robotic.. - Ingham, Ragno, Williams (2001) (Correct)
No context found.
Halbwachs, N., Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993.
Executing Reactive, Model-based Programs - Through Graph-Based Temporal (Correct)
No context found.
N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic, 1993.
Model-Based Programming of Intelligent Embedded.. - Williams, Ingham.. (2003) (2 citations) (Correct)
No context found.
N. Halbwachs, Synchronous Programming of Reactive Systems, ser. Series in Engineering and Computer Science. Norwell, MA: Kluwer, 1993.
Model-based Reactive Programming of Cooperative.. - Williams, Kim.. (2001) (Correct)
No context found.
N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic, 1993.
A Reactive Model-based Programming Language for Robotic.. - Ingham, Ragno, Williams (2001) (Correct)
No context found.
Halbwachs, N., Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993.
Synchronous Dataflow Pattern Matching - Hamon (2004) (Correct)
No context found.
Halbwachs, N.: Synchronous programming of reactive systems. Kluwer Academic Pub. (1993)
Using Formal Tools to Study Complex Circuits Behaviour - Paul Amblard Tima-Cmp (Correct)
No context found.
N. Halbwachs, Synchronous programming of reactive system, Kluwer Academic Pub., 1993
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC