939 search results - page 28 / 188 » Improving Dynamic Data Analysis with Aspect-Oriented Program... |
CAV
2004
Springer
13 years 11 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...
SEKE
2001
Springer
13 years 12 months ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
SIGPRO
2008
13 years 7 months ago
2008
In this paper, we present an algorithm for multichannel blind deconvolution of seismic signals, which exploits lateral continuity of earth layers by dynamic programming approach. ...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
ICSE
2001
IEEE-ACM
14 years 5 hour ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...