1379 search results - page 79 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
151
click to vote
IUI
2005
ACM
15 years 9 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
SPAA
2004
ACM
15 years 9 months ago
2004
ACM
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper pr...
143
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
156
click to vote
ENTCS
2002
15 years 3 months ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
156
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...