207 search results - page 8 / 42 » Testing and Model-Checking Techniques for Diagnosis |
107
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...
106
click to vote
OSDI
2002
ACM
15 years 12 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
105
click to vote
USS
2010
14 years 9 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
68
Voted
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
The ever increasing usage of microprocessor devices is sustained by a high volume production that in turn requires a high production yield, backed by a controlled process. Fault d...