5934 search results - page 117 / 1187 » Detecting a Network Failure |
159
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
173
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
127
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...
151
click to vote
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
Interactive applications such as email, calendar, and maps are migrating from local desktop machines to data centers due to the many advantages offered by such a computing environ...
116
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...