5570 search results - page 991 / 1114 » Applications of Fair Testing |
141
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
135
Voted
ICIAP
2007
ACM
16 years 4 months ago
2007
ACM
This work is about a novel methodology for window detection in urban environments and its multiple use in vision system applications. The presented method for window detection inc...
160
click to vote
EUROSYS
2010
ACM
16 years 29 days ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
115
Voted
EUROSYS
2009
ACM
16 years 29 days ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...
132
click to vote
SOSP
2007
ACM
16 years 23 days ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...