1187 search results - page 97 / 238 » On Modeling Cross-Talk Faults |
ESSOS
2009
Springer
14 years 3 months ago
2009
Springer
In the search for metrics that can predict the presence of vulnerabilities early in the software life cycle, there may be some benefit to choosing metrics from the non-security rea...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
PRDC
2007
IEEE
14 years 3 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
PDP
1996
IEEE
14 years 1 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...