A. Benveniste, T. Gautier, P. Le Guernic, and E. Rutten, Distributed Code Generation of Dataflow Synchronous Programs: The Sacres Approach, Proc. 11th Int'l Symp. Languages for Intensional Programming, Palo Alto, Calif., May 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Incremental Design of a Power Transformer Station Controller .. - Marchand, Samaan (2000) (3 citations) (Correct)
.... the same spirit of BDD [11] but where the paths in the data structures are decorated by values in f1; 0; 1g instead of f0; 1g: 6 From a practical point of view, a polynomial dynamical system can be obtained for free provided we have specified the system in the high level language SIGNAL [1] [18]. In fact, the equational nature of SIGNAL leads naturally to the use of a method based on polynomial dynamical equation systems over ZZ= 3ZZ as a formal model of program behavior [7] The model essentially expresses Boolean data and synchronizations. There exists a lot of examples using SIGALI ....
A. Benveniste, T. Gautier, P. Le Guernic, and E. Rutten, Distributed Code Generation of Dataflow Synchronous Programs: The Sacres Approach, Proc. 11th Int'l Symp. Languages for Intensional Programming, Palo Alto, Calif., May 1998.
Code generation in the SACRES project - Gautier, Le Guernic (1999) (4 citations) Self-citation (Gautier Le guernic) (Correct)
....with a suitable communication protocol Q in such a way that the compound program P V Q becomes endochronous. However, in the general case, this transformation is not unique [9] 3 Distributed code generation: overview of the SACRES approach 3. 1 A first glance at the method The overall method [6, 7, 16] is illustrated in the figures 5 and 6. Figure 5 shows what the designer has to do. The designer has on her his screen (at least) three windows (those of the top part of the figure) The first window top left is the (Signal, or Dc , or Activity Charts in StateMate) program editor. In this ....
A. Benveniste, T. Gautier, P. Le Guernic, E. Rutten, "Distributed code generation of dataflow synchronous programs: the SACRES approach", in Proceedings of The Eleventh International Symposium on Languages for Intensional Programming, ISLIP '98, Sun Microsystems, Menlo Park, California (USA), May 1998.
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