4520 search results - page 92 / 904 » Algebraic Techniques for Timed Systems |
103
click to vote
ADAEUROPE
2008
Springer
15 years 4 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
129
click to vote
ICFEM
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
151
click to vote
RTSS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
141
click to vote
CBSE
2004
Springer
15 years 7 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
129
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Power management has become popular in mobile computing as well as in server farms. Although a lot of work has been done to manage the energy consumption on uniprocessor real-time...