207 search results - page 16 / 42 » Testing and Model-Checking Techniques for Diagnosis |
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
100
click to vote
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
Abstract— Substantial attention is being paid to the fault diagnosis problem in recent test literature. Yet, the compaction of test vectors for fault diagnosis is little explored...
ASPDAC
2001
ACM
15 years 3 months ago
2001
ACM
Loical defect diagnosis is a critical yet challenging process in VLSI manufacturing. It involves the identification of the defect spots in a logic IC that fails testing. In the la...
IOLTS
2006
IEEE
15 years 5 months ago
2006
IEEE
— Delay failures are becoming a dominant failure mechanism in nanometer technologies. Diagnosis of such failures is important to ensure yield and robustness of the design. Howeve...
CBMS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes techniques used in a Web-based decision support system to enhance dermatological diagnosis for rural and remote communities. We proposed a technique to improv...