Le Guernic, P., T. Gauthier, M. Le Borgne and C. Le Maire, Programming real-time applications with SIGNAL, IEEE 79 (1991), pp. 1321--1336. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Model Checking for the Concurrent Constraint Paradigm - Garcia (Correct)
....of the system. A few years later Saraswat, Jagadeesan and Gupta de ned an extension over time of the cc paradigm. This new language, called temporal concurrent constraint (tcc) language ( SJG94a, SJG94b] was inspired by synchronous languages such as Esterel [Ber00] Lustre [HCRP91] or Signal [GGBM91] The key idea was to introduce a notion of discrete time and some constructs which allow us to model notions such as timeout or weak preemption. Therefore, tcc is able to specify reactive systems that can be de ned as those systems which evolve along the time by interacting with their ....
....it is true that a resting point is always reached. Moreover, in [SJG94a, SJG96] the de nition of other possible operators based in the constructs presented in Figure 3.1 can be found. Those constructs are typically used in other frameworks (such as Esterel [Ber00] Lustre [HCRP91] or Signal [GGBM91] whose scope is similar to the one of tcc language: to model reactive systems. For example, it can be de ned the always A construct which execute the agent A at each time instant. Other examples are the now c then A else B, multiple prioritized waits, whenever c do A or do A watching c agents. ....
T. Gauthier, P. Le Guernic, M. Le Borgne, and C. Le Maire. Programming real time applications with signal. Proceedings of the IEEE, 79(Issue 9), 1991.
Generation of Fault-Tolerant Static Scheduling for .. - Girault.. (2001) (1 citation) (Correct)
....and actuators close to the computing sites. Synchronous Programming. Synchronous programming [17] offers specification methods and formal verification tools that give satisfying answers to the above mentioned needs. The three main synchronous languages are ESTEREL [5] LUSTRE [18] and SIGNAL [24]. These specification methods are now successfully applied in industry. For instance, LUSTRE is used to develop the control software for nuclear plants and AIRBUS planes [3] ESTEREL is used to develop DSP chips for mobile phones [2] to design and verify DVD chips, and to program the flight ....
....implements AAA. The architecture and the algorithm can both be specified with SYNDEX s graphical user interface. The algorithm can also be imported from a file which is the result of the compilation of a source program written in synchronous languages like ESTEREL [5] LUSTRE [18] or SIGNAL [24], through the common format DC [28] SYNDEX (Synchronized Distributed Executive) is available at the url http: www rocq.inria.fr syndex Motivation of this Work. Our goal is to produce automatically distributed fault tolerant code. Taking advantage of AAA, we propose a new scheduling ....
P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79(9):1321--1336, September 1991.
The Esterel v5 Language Primer - Version 5.21 release 2.0 - Berry (1999) (Correct)
....born in the beginning of the 80 s. Cooperation has been constant with the Lustre team [30] headed by Paul Caspi and Nicolas Halbwachs in Grenoble, France, and the early Esterel and Lustre tools shared intermediate languages and compilation tools. Cooperation was later extended to the Signal [28] team headed by Paul le Guernic and Albert Benveniste in Rennes, France, The design of Esterel was influenced by the independent design of the Statecharts visual formalism [32] introduced by David Harel in 1984 and by the Argos synchronous variant of Statecharts developed by Florence Maraninchi in ....
....and response time control, and yielding a programming style far more natural than the one enforced by conventional interactive communication mechanisms. Lustre [30] developed by Paul Caspi and Nicolas Halbwachs, is a synchronous functional data flow language for data dominated systems. Signal [28] is a powerful relational synchronous data flow language developed by Paul le Guernic and Albert Benveniste. Statecharts [32] is a visual formalism introduced by David Harel in 1984 for hierarchical state machine design. Argos [39] is a purely synchronous variant of Statecharts developed by ....
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with Signal. Another Look at Real Time Programming, Proceedings of the IEEE, Special Issue, Sept. 1991.
A Protocol for Loosely Time-Triggered Architectures - Benveniste, Caspi, Le.. (2001) (4 citations) Self-citation (Le guernic) (Correct)
No context found.
P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with Signal. Proceedings of the IEEE, 79(9):1321-1336, September 1991.
Improving Constructiveness in Code Generators - Schneider, Brandt, Schuele.. (2005) (Correct)
No context found.
Le Guernic, P., T. Gauthier, M. Le Borgne and C. Le Maire, Programming real-time applications with SIGNAL, IEEE 79 (1991), pp. 1321--1336.
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
No context found.
P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Marie. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79(9):1321--1335, September 1991.
Models of Computation in the Design Process - Jantsch, Sander (2005) (Correct)
No context found.
P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Marie. Programming realtime applications with SIGNAL. Proceedings of the IEEE, 79(9):1321--1335, September 1991.
The Kahn principle for networks of synchronous endochronous.. - Potop-Butucaru (2003) (Correct)
No context found.
P. LeGuernic, T. Gauthier, M. LeBorgne, and C. LeMaire. Programming real-time applications with Signal. In Proceedings of the IEEE, volume 79(9), pages 1321--1336, 1991.
The Esterel v5 Language Primer - Version v5_91 - Berry (2000) (5 citations) (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with Signal. Another Look at Real Time Programming, Proceedings of the IEEE, Special Issue, Sept. 1991.
Optimizations For Faster Execution Of Esterel Programs - Potop-Butucaru, de Simone (2004) (Correct)
No context found.
Paul LeGuernic, Thierry Gauthier, Michel LeBorgne, and Claude LeMaire. Programming real-time applications with Signal. Proceedings of the IEEE, 79(9):1321--1336, 1991.
The SL Synchronous Language - Boussinot, de Simone (1995) (4 citations) (Correct)
No context found.
P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real time applications with signal. In IEEE, september 1991.
Unknown - Apport De Recherche (Correct)
No context found.
P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real time applications with signal. In IEEE,september 1991.
Mode Estimation of Model-based Programs: Monitoring.. - Williams, Chung, Gupta (2001) (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. In Proc IEEE [1991] , pages 1321--1336.
Executing Reactive, Model-based Programs - Through Graph-Based Temporal (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. pages 1321--1336.
Synchronous Extensions to Operation-Centric Hardware.. - Nordin, Hoe (2004) (Correct)
No context found.
P. Le Guernic, et al. Programming real-time applications with SIGNAL. Proc of IEEE, 79(9), Sept 1991.
Mode Estimation of Model-based Programs: - Monitoring Systems With (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. In Proc IEEE [1991] , pages 1321--1336.
Executing Reactive, Model-based Programs - Through Graph-Based Temporal (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. pages 1321--1336.
Mode Estimation of Model-based Programs: Monitoring.. - Williams, Chung, Gupta (2001) (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. In Proc IEEE [ 1991 ] , pages 1321--1336.
dSL: An environment with automatic code distribution.. - De Wachter, Massart.. (Correct)
No context found.
P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real time applications with signal. Proceedings of the IEEE, 79(9):1321-1336, September 1991.
Heterogeneous Reactive Systems Modeling and.. - Benveniste.. (2003) (2 citations) (Correct)
No context found.
P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. Programming real-time applications with SIGNAL. Proc. of the IEEE, 79(9):1326--1333, Sep. 1991.
Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) (Correct)
No context found.
P. Le Guernic, T. Gauthier, M. Le Borgne, and C. Le Maire. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79(9):1321--1336, 1991.
The Esterel v5 Language Primer - Version v5_91 - Berry (2000) (5 citations) (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with Signal. Another Look at Real Time Programming, Proceedings of the IEEE, Special Issue, Sept. 1991.
Fault-Tolerant Deployment of Embedded Software for .. - Pinello, Carloni, .. (2004) (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with SIGNAL. Proc. of the IEEE, 79(9):1321--1336, Sep 1991.
Crystal: a simple programming language for Custom Computing.. - van Reeuwijk (2004) (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. Proceedings of the IEEE, Special Issue, September 1991.
The Semantics of Triveni: - Process-Algebraic Api For (Correct)
No context found.
P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with SIGNAL.InSpecial Issue on Another Look at Real-time Systems, Proceedings of the IEEE, 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