207 search results - page 22 / 42 » Testing and Model-Checking Techniques for Diagnosis |
PASTE
2005
ACM
15 years 5 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
112
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
100
click to vote
IMC
2007
ACM
15 years 1 months ago
2007
ACM
We consider the problem of diagnosing performance problems in distributed system and networks given end-to-end performance measurements provided by test transactions, or probes. C...
CAI
2010
Springer
14 years 6 months ago
2010
Springer
Present speech recognition systems are becoming more complex due to technology advances, optimizations and special requirements such as small computation and memory footprints. Pro...
VLSID
2002
IEEE
16 years 4 days ago
2002
IEEE
We give an algorithm to model any given multiple stuck-at fault as a single stuck-at fault. The procedure requires insertion of at most ? ? ? modeling gates, when the multiplicity...