1192 search results - page 68 / 239 » Variation-Aware Fault Modeling |
119
click to vote
SRDS
2007
IEEE
15 years 9 months ago
2007
IEEE
Fault tolerant distributed protocols typically utilize a homogeneous fault model, either fail-crash or fail-Byzantine, where all processors are assumed to fail in the same manner....
101
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
151
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
141
Voted
ASPDAC
1998
ACM
15 years 7 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
144
Voted
ICCAD
2002
IEEE
16 years 11 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...