702 search results - page 85 / 141 » Diagnosis of t s-Diagnosable Systems |
CC
2009
Springer
14 years 10 months ago
2009
Springer
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...
ICDCS
2009
IEEE
14 years 7 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
ICCBR
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
HPDC
1998
IEEE
14 years 2 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
CAV
2009
Springer
14 years 2 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...