18 search results - page 4 / 4 » rtss 1998 |
RTSS
1998
IEEE
13 years 10 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
RTSS
1998
IEEE
13 years 10 months ago
1998
IEEE
The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. In this paper we describe the synthesis of systems-...
RTSS
1998
IEEE
13 years 10 months ago
1998
IEEE
High-bandwidth applications with time-dependent resource requirements demand certain resource level assurances in order to operate correctly. Quality of Service resource managemen...