7430 search results - page 640 / 1486 » Programming Applications in CIFF |
182
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
208
click to vote
MM
2005
ACM
16 years 24 days ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
215
click to vote
PLDI
2005
ACM
16 years 24 days ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
180
click to vote
PPOPP
2005
ACM
16 years 24 days ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
200
click to vote
CC
2005
Springer
16 years 23 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...