A. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems, " Proceedings of the IEEE, Vol. 79, No. 9, 1991, pp.1270-1282. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Resynchronization For Embedded Multiprocessors - Bhattacharyya, Sriram, Lee (1995) (Correct)
No context found.
A. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems, " Proceedings of the IEEE, Vol. 79, No. 9, 1991, pp.1270-1282.
Efficient Compilation of Process-Based Concurrent Programs .. - Run-Time Scheduling Bill (Correct)
No context found.
G. Berry et al. "The synchronous approach to reactive and real-time systems", IEEE Proceedings, 1991.
Multi-Periodic Process Networks: Prototyping and.. - Cohen, Genius.. (2002) (1 citation) (Correct)
No context found.
G. Berry, P. Couronn'e, and G. Gonthier. The synchronous approach to reactive and real-time systems. Proc. IEEE, 79(9):1270--1282, Sept. 1991.
Models of Embedded Computation - Axel Jantsch Royal (2005) (Correct)
No context found.
Albert Benveniste and Grard Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.
Development and Application of Design Transformations in ForSyDe - Ingo Sander Axel (2003) (Correct)
No context found.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
No context found.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.
Models of Computation in the Design Process - Jantsch, Sander (2005) (Correct)
No context found.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.
Optimizations For Faster Execution Of Esterel Programs - Potop-Butucaru, de Simone (2004) (Correct)
No context found.
Albert Benveniste and G erard Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, 1991.
Optimizations for Faster Simulation of Esterel Programs - Potop-Butucaru (2003) (Correct)
No context found.
Albert Benveniste and Gerard Berry. The synchronous approach to reactive and real-time systems. In Proceedings of the IEEE, volume 79(9), pages 1270-1282, 1991.
Representation and Analysis of Reactive Behaviors: - Synchronous Approach Charles (Correct)
No context found.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceeding of the IEEE, 79(9):1270--1282, September 1991.
Unknown - Models And Methods (Correct)
No context found.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.
Hierarchical Modeling and Verification of Timed Systems in .. - Pagetti, Cassez, Roux (2003) (Correct)
No context found.
Albert Benveniste and Gerard Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, september 1991.
dSL: An environment with automatic code distribution.. - De Wachter, Massart.. (Correct)
No context found.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Proceedings of the IEEE, volume 79, pages 1270--1282, 1991.
Actor-Oriented Design Of Embedded Hardware And Software.. - Lee, Neuendorffer.. (2003) (2 citations) (Correct)
No context found.
A. Benveniste and G. Berry, "The synchronous approach to reactive and realtime systems", Proc. IEEE 79, 9 (1991) 1270--1282.
Development and Application of Design Transformations in ForSyDe - Ingo Sander Axel (2003) (Correct)
No context found.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.
Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003) (9 citations) (Correct)
No context found.
A. Benveniste and G. Berry, "The synchronous approach to reactive and realtime systems," Proc. IEEE, vol. 79, pp. 1270--1282, Sept. 1991.
Automated Deduction of Finite-State Control Programs for Reactive.. - Malik (1998) (Correct)
No context found.
Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proc. IEEE 79 (9), 1270--1282, 1991.
Hardware/Software Co-Design - De Micheli, Gupta (1997) (13 citations) (Correct)
No context found.
A. Benveniste and G. Berry, "The synchronous approach to reactive and real-time systems," Proc. IEEE, vol. 79, pp. 1270--1282, Sept. 1991.
μABC: A Minimal Aspect Calculus - Bruns, Jagadeesan, Jeffrey, Riely (2004) (1 citation) (Correct)
No context found.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.
µABC: A Minimal Aspect Calculus - Bruns, Jagadeesan, Jeffrey, Riely (2004) (1 citation) (Correct)
No context found.
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.
Overview Of The Ptolemy Project - Hylands, al. (2003) (5 citations) (Correct)
No context found.
A. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems," Proceedings of the IEEE, Vol. 79, No. 9, 1991, pp. 1270-1282.
Reactive Objects - Nordlander, Jones, Carlsson.. (Correct)
No context found.
A. Benveniste and G. Berry. The Synchronous Approach to Reactive and Real-time Systems. Technical Report 1445, INRIA-Rennes, 1991.
Hierarchical Finite State Machines with Multiple Concurrency.. - Girault, Lee, Lee (1999) (25 citations) (Correct)
No context found.
A. Benveniste and G. Berry, "The synchronous approach to reactive and real-time systems," in Proc IEEE, vol. 79, pp. 1270--1282, Sept, 1991.
Overview Of The Ptolemy Project - Davis II, al. (2001) (13 citations) (Correct)
No context found.
A.. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems," Proceedings of the IEEE, Vol. 79, No. 9, 1991, pp. 1270-1282.
Embedded System Co-Design: Synthesis And Verification - Luciano Lavagno Dipartimento (1995) (5 citations) (Correct)
No context found.
G. Berry, P. Couronn'e, and G. Gonthier. The synchronous approach to reactive and real-time systems. IEEE Proceedings, 79, September 1991.
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