3387 search results - page 43 / 678 » Model-Checking for Real-Time Systems |
130
click to vote
SEUS
2008
IEEE
15 years 9 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...
124
Voted
DFT
1998
IEEE
15 years 6 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...
121
Voted
LCTRTS
1998
Springer
15 years 6 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. ...