3387 search results - page 42 / 678 » Model-Checking for Real-Time Systems |
RTSS
1991
IEEE
15 years 6 months ago
1991
IEEE
105
Voted
WISES
2004
15 years 3 months ago
2004
-- A main prerequisite for the successful development of real-time systems is the capability for debugging and monitoring of these systems. The debugging of real-time systems is mo...
126
Voted
RTSS
2009
IEEE
15 years 9 months ago
2009
IEEE
In work on multiprocessor real-time systems, task scheduling with self-suspensions is a relatively unexplored topic. In this paper, soft real-time sporadic task systems are consid...
120
Voted
LADS
2007
Springer
15 years 8 months ago
2007
Springer
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
148
click to vote
DFT
2003
IEEE
15 years 7 months ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...