71 search results - page 14 / 15 » Constraint-Based Program Debugging Using Data Structure Repa... |
USENIX
1990
13 years 7 months ago
1990
As we approach nation-wide integration of computer systems, it is clear that le replication will play a key role, both to improve data availability in the face of failures, and to...
MICRO
2009
IEEE
14 years 13 days ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
USS
2004
13 years 7 months ago
2004
Buffer overflow exploits make use of the treatment of strings in C as character arrays rather than as first-class objects. Manipulation of arrays as pointers and primitive pointer...
ISSTA
2004
ACM
13 years 11 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
PPOPP
2012
ACM
12 years 1 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...