Sciweavers

ENTCS
2006
94views more  ENTCS 2006»
13 years 11 months ago
Reactive Concurrent Programming Revisited
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...
Roberto M. Amadio, Gérard Boudol, Fré...
DATE
2004
IEEE
117views Hardware» more  DATE 2004»
14 years 2 months ago
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierr...
EMSOFT
2005
Springer
14 years 4 months ago
Synchronization of periodic clocks
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
Albert Cohen, Marc Duranton, Christine Eisenbeis, ...