3387 search results - page 43 / 678 » Model-Checking for Real-Time Systems |
SEUS
2008
IEEE
14 years 2 months ago
2008
IEEE
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...
DFT
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper describes a system suited to support the Fault Injection process for microprocessor-based embedded systems. The system exploits a low-cost hardware board to monitor the...
LCTRTS
1998
Springer
13 years 11 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
RTSS
1994
IEEE
13 years 11 months ago
1994
IEEE
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer