338 search results - page 32 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
FM
2006
Springer
14 years 9 days ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
COCO
2003
Springer
14 years 1 months ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— Many topology discovery systems rely on traceroute to discover path information in public networks. However, for some routers, traceroute detects their existence but not their ...
CC
2010
Springer
14 years 3 months ago
2010
Springer
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such as x86, Smith, Ramsey, and Holloway (2004) presented...