46 search results - page 7 / 10 » Incremental Diagnosis and Correction of Multiple Faults and ... |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
: We present a new approach to fault tolerance for High Performance Computing system. Our approach is based on a careful adaptation of the Algorithmic Based Fault Tolerance techniq...
DAC
2010
ACM
13 years 11 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
NCA
2011
IEEE
13 years 2 months ago
2011
IEEE
In the past three decades, the properties of associative networks has been extensively investigated. However, most existing results focus on the fault-free networks only. In implem...
CLEIEJ
2006
13 years 7 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
VTS
1997
IEEE
13 years 11 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...