1980 search results - page 99 / 396 » Compositional Model Checking of Real Time Systems |
166
click to vote
RTSS
2000
IEEE
15 years 6 months ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
118
Voted
ICSE
1997
IEEE-ACM
15 years 5 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
129
Voted
FTRTFT
1998
Springer
15 years 5 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
113
click to vote
LCTRTS
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
115
click to vote
ECRTS
2008
IEEE
15 years 3 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...