1379 search results - page 44 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
IISWC
2006
IEEE
15 years 6 months ago
2006
IEEE
The load instructions of some of the bioinformatics applications in the BioPerf suite possess interesting characteristics: only a few static loads cover almost the entire dynamic ...
122
click to vote
CAV
2009
Springer
16 years 13 days ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
EUROPAR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
PLDI
1998
ACM
15 years 4 months ago
1998
ACM
In conventional superscalar microarchitectures with partitioned integer and floating-point resources, all floating-point resources are idle during execution of integer programs....
HICSS
1999
IEEE
15 years 4 months ago
1999
IEEE
Assessing the reliability of a software system has always been an elusive target. A program may work very well for a number of years and this same program may suddenly become quit...