MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Synchronous Programming of Reactive Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography
by Nicolas Halbwachs — 1998 — In Tenth International Conference on Computer-Aided Verification, CAV’98, Vancouver (B.C.), LNCS 1427
…Synchronous Programming of Reactive Systems ? A Tutorial and Commented Bibliography Nicolas…
Cited by 13 (0 self) – Add To MetaCart

Objects and Synchronous Programming
by Charles André, Charles Frdric Boulanger, Guy Vidal-naquet — 1998 — In European Journal on Automated Systems
…-oriented, synchronous programming, reactive systems, reactive objects, real time systems, synchronous objects. 1…
Cited by 3 (1 self) – Add To MetaCart

-end for embedded systems,". In
by Ieee Transactions On, Vlm S. Vercauteren, B. Lin
…] Nicolas Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993. [Har87…
Add To MetaCart

Workshop on Formal Design Of Safety Critical Embedded Systems
by Axel Poigne, Alberto Benveniste, Albert Benveniste, Axel Poign — 1999
… is to propose a flexible programming of reactive systems, especially those which are dynamic (that is…
Add To MetaCart

[90] G. C. Sih and E.A. Lee, “A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous
by K. S. Shanmugan, G. J. Minden, E. Komp, T. C. Manning, E. R. Wiswell, Block-oriented System Simulator, P. A. Suhler, J. Biswas, K. M. Korner, J. C. Browne, J. On Parallel, A. L. Wendelborn
… of the IEEE, Vol. 79, No. 9, 1991, pp. 1305-1319. [47] N. Halbwachs, Synchronous Programming of Reactive…
Add To MetaCart

The Foundations of Esterel
by Gérard Berry — 1998
… of synchronous programming of reactive systems, mostly focusing on the author's Esterel language. Synchronous…
Cited by 139 (1 self) – Add To MetaCart

The Foundations of Esterel
by Grard Berry Ecole — 1998
… of synchronous programming of reactive systems, mostly focusing on the author's Esterel language. Synchronous…
Add To MetaCart

Programming in Timed Concurrent Constraint Languages
by Vijay Saraswat, Radha Jagadeesan, Vinheet Gupta — 1994
….4.2 Synchronous programming Reactive systems (Hard and Pnueli 1985; Berry 1989; Halbwachs 1993) are those…
Cited by 32 (4 self) – Add To MetaCart

Requirements Engineering Journal
by Connie Heitmeyer, Nancy Mead — 2003
… language for reactive systems. In Proc. Synchronous Languages, Applications and Programming, ETAPS 2002…
Add To MetaCart

Certifying Synchrony for Free
by Sylvain Boulmé, Grégoire Hamon — 2001
…. Technical Report 0221, INRIA, May 1998. [Hal93] Halbwachs N. Synchronous programming of reactive systems…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB