384 search results - page 6 / 77 » Formal Development of Reactive Fault Tolerant Systems |
HASE
1997
IEEE
13 years 12 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
ICS
2007
Tsinghua U.
14 years 1 months ago
2007
Tsinghua U.
Large-scale parallel computing is relying increasingly on clusters with thousands of processors. At such large counts of compute nodes, faults are becoming common place. Current t...
DFT
2009
IEEE
14 years 2 months ago
2009
IEEE
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
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...