Sciweavers

Share
ACSD
2009
IEEE

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations

10 years 5 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 (GALS) architecture. Based on the theory of weakly endochronous systems, our technique uses a representation of the abstract synchronization configurations of the analyzed process to determine a minimal set of synchronization patterns generating all possible reactions.
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2009
Where ACSD
Authors Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
Comments (0)
books