3387 search results - page 42 / 678 » Model-Checking for Real-Time Systems |
RTSS
1991
IEEE
13 years 11 months ago
1991
IEEE
WISES
2004
13 years 9 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...
RTSS
2009
IEEE
14 years 2 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...
LADS
2007
Springer
14 years 1 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...
DFT
2003
IEEE
14 years 27 days 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...