2498 search results - page 65 / 500 » Software Fault Tolerance |
FMCAD
2008
Springer
13 years 10 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...
DDECS
2007
IEEE
14 years 3 months ago
2007
IEEE
— To increase the amount of logic available in SRAM-based FPGAs manufacturers are using nanometric technologies to boost logic density and reduce prices. However, nanometric scal...
FM
2003
Springer
14 years 2 months ago
2003
Springer
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
DSN
2004
IEEE
14 years 19 days ago
2004
IEEE
This paper presents a novel circuit fault detection and isolation technique for quasi delay-insensitive asynchronous circuits. We achieve fault isolation by a combination of physi...
MIDDLEWARE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Enterprise-system upgrades are unreliable and often produce downtime or data-loss. Errors in the upgrade procedure, such as broken dependencies, constitute the leading ca...