Sciweavers

Share
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
10 years 1 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
MEMOCODE
2008
IEEE
10 years 4 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally deļ¬ned embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
ACSD
2009
IEEE
149views Hardware» more  ACSD 2009»
10 years 4 months ago
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
books