218 search results - page 4 / 44 » A Fault Tolerance Approach for Enterprise Applications |
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...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
This work addresses the issue of design optimization for faulttolerant hard real-time systems. In particular, our focus is on the handling of transient faults using both checkpoin...
DFT
2000
IEEE
13 years 12 months ago
2000
IEEE
1 Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting ...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
Grid applications need to be fault tolerant, malleable, and migratable. In previous work, we have presented orphan saving, an efficient mechanism addressing these issues for divide...
ISSRE
2003
IEEE
14 years 24 days ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...