P. Aubry. Mises en oeuvre distribu'ees de programmes synchrones. PhD thesis, universit'e de Rennes 1, 1997. 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 ....
P. Aubry. Mises en oeuvre distribu'ees de programmes synchrones. PhD thesis, universit'e de Rennes 1, 1997.
From Synchrony to Asynchrony - Benveniste, al. (1999) (7 citations) (Correct)
....between synchrony and asynchrony in a different way. Mapping synchronous programs to a network of automata, communicating asynchronously via unbounded 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 ....
P. Aubry. Mises en oeuvre distribu'ees de programmes synchrones. PhD thesis, universit'e de Rennes 1, 1997.
From Synchrony to Asynchrony - Benveniste, Caillaud, Le Guernic (1999) (7 citations) (Correct)
....between synchrony and asynchrony in a different way. Mapping synchronous programs to a network of automata, communicating asynchronously via unbounded 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 ....
P. Aubry. Mises en oeuvre distribu'ees de programmes synchrones. PhD thesis, universit'e de Rennes 1, 1997.
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