Sciweavers

20126 search results - page 308 / 4026
» Timed Transition Systems
Sort
View
169
Voted
RTAS
2006
IEEE
15 years 10 months ago
Reliability-Aware Dynamic Energy Management in Dependable Embedded Real-Time Systems
Recent studies show that, voltage scaling, which is an efficient energy management technique, has a direct and negative effect on system reliability because of the increased rate...
Dakai Zhu
IPPS
1998
IEEE
15 years 9 months ago
A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
Binoy Ravindran, Lonnie R. Welch, Carl Bruggeman, ...
ISORC
2000
IEEE
15 years 8 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
ADAEUROPE
2008
Springer
15 years 6 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
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...
Iulian Ober, Nicolas Halbwachs
ICCD
2000
IEEE
94views Hardware» more  ICCD 2000»
16 years 1 months ago
A Selective Temporal and Aggressive Spatial Cache System Based on Time Interval
This research proposes a new cache system that can increase the effect by temporal and spatial locality by using only simple hardware control without any locality detection hardwa...
Jung-Hoon Lee, Jang-Soo Lee, Shin-Dug Kim