G. Berry and E. M. Sentovich. An implementation of construtive synchronous programs in polis. manuscript, November 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Hierarchic Normal Forms for Desynchronization - Talpin, al. (1999) (Correct)
....can be found in [12] It establishes a precise relation between so called well clocked synchronous functional programs and the subset of Kahn networks amenable to buffer less evaluation. Since then, the issue of synchronous program desynchronisation has been investigated by several authors [11, 21, 3, 24, 23, 10], see [7] for a more detailed discussion. In [7, 6] we have provided an extensive, in depth, analysis of the links between synchrony and asynchrony. The proposed vision of asynchrony encompasses distributed systems, in which no global synchronization state is available, and communications actions ....
G. Berry and E. M. Sentovich. An implementation of construtive synchronous programs in polis. manuscript, November 1998.
From Synchrony to Asynchrony - Benveniste, al. (1999) (7 citations) (Correct)
....FIFOs, has been implemented for the Lustre language and formalized in [12] Mapping Signal programs to distributed architectures was proposed in [19, 4] based on an early version of the theory we present in this paper. The SynDEx tool [22, 21] also implements a similar approach. Recent work [11] on the Polis system proposes to reuse the constructive semantics approach for the Esterel synchronous language, with CFSM (Codesign Finite State Machines) as a model for synchronous machines which can be desynchronized; this can be seen as a refinement of [13] although the referred model of ....
G. Berry and E. M. Sentovich. An implementation of construtive synchronous programs in polis. manuscript, November 1998.
Hierarchic Normal Forms for Desynchronization - Talpin, Benveniste, Caillaud, .. (1999) (Correct)
....can be found in [12] It establishes a precise relation between so called well clocked synchronous functional programs and the subset of Kahn networks amenable to ibuoeer lessj evaluation. Since then, the issue of synchronous program idesynchronisationj has been investigated by several authors [11, 21, 3, 24, 23, 10], see [7] for a more detailed discussion. In [7, 6] we have provided an extensive, in depth, analysis of the links between synchrony and asynchrony. The proposed vision of asynchrony encompasses distributed systems, in which no global synchronization state is available, and communications actions ....
G. Berry and E. M. Sentovich. An implementation of construtive synchronous programs in polis. manuscript, November 1998.
From Synchrony to Asynchrony - Benveniste, Caillaud, Le Guernic (1999) (7 citations) (Correct)
....FIFOs, has been implemented for the Lustre language and formalized in [12] Mapping Signal programs to distributed architectures was proposed in [19, 4] based on an early version of the theory we present in this paper. The SynDEx tool [22, 21] also implements a similar approach. Recent work [11] on the Polis system proposes to reuse the constructive semantics approach for the Esterel synchronous language, with CFSM (Codesign Finite State Machines) as a model for synchronous machines which can be desynchronized; this can be seen as a refinement of [13] although the referred model of ....
G. Berry and E. M. Sentovich. An implementation of construtive synchronous programs in polis. manuscript, November 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