Sciweavers

DATE
2009
IEEE
92views Hardware» more  DATE 2009»
14 years 7 months ago
WCRT algebra and interfaces for esterel-style synchronous processing
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
Michael Mendler, Reinhard von Hanxleden, Claus Tra...