10 search results - page 1 / 2 » Candidate Ordering and Elimination in Model-Based Fault Diag... |
IJCAI
1989
13 years 7 months ago
1989
ET
2007
13 years 5 months ago
2007
This article describes an emulation-based method for locating stuck-at faults in combinational and synchronous sequential circuits. The method is based on automatically designing a...
DATE
2006
IEEE
14 years 18 hour ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
SARA
2007
Springer
14 years 2 days ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
ECSA
2011
Springer
12 years 5 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...