1392 search results - page 12 / 279 » Dynamic Data Structure Analysis for Java Programs |
167
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
158
click to vote
ISCA
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe the Java runtime parallelizing machine (Jrpm), a complete system for parallelizing sequential programs automatically. Jrpm is based on a chip multiprocessor (CMP) with...
287
click to vote
Book
"This is a textbook for a first computer science course for students majoring in computer science, as well as mathematics and the physical and social sciences"
180
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
237
click to vote
PLDI
2009
ACM
16 years 20 days ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...