531 search results - page 20 / 107 » Dynamic Observers for Fault Diagnosis of Timed Systems |
ECAI
1998
Springer
14 years 1 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
ETS
2011
IEEE
12 years 8 months ago
2011
IEEE
—As circuits continue to scale to smaller feature sizes, wearout and latent defects are expected to cause an increasing number of errors in the field. Online error detection tec...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
Software failures in wireless sensor systems are notoriously difficult to debug. Resource constraints in wireless deployments substantially restrict visibility into the root cause...
CSMR
2003
IEEE
14 years 2 months ago
2003
IEEE
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...