Sciweavers

ACSD
2009
IEEE
92views Hardware» more  ACSD 2009»
13 years 11 months ago
Desynchronizing Synchronous Programs by Modes
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
Jens Brandt, Mike Gemunde, Klaus Schneider