136 search results - page 2 / 28 » A Theory for Observational Fault Tolerance |
FMCAD
2008
Springer
13 years 7 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...
WDAG
2010
Springer
13 years 4 months ago
2010
Springer
Abstract—This paper describes a method to implement faulttolerant services in distributed systems based on the idea of fused state machines. The theory of fused state machines us...
ICDCS
1998
IEEE
13 years 10 months ago
1998
IEEE
SIROCCO
2004
13 years 7 months ago
2004
IPPS
2003
IEEE
13 years 11 months ago
2003
IEEE
This work presents a new switching mechanism to tolerate arbitrary faults in interconnection networks with a negligible implementation cost. Although our routing technique can be ...