18 search results - page 4 / 4 » A Quadratic-Time Response Time Upper Bound with a Tightness ... |
ICCAD
2001
IEEE
14 years 2 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...