4469 search results - page 147 / 894 » Dynamic Program Slicing |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
CGO
2010
IEEE
14 years 2 months ago
2010
IEEE
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current visualizations either use program traces to show info...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
We present a new mechanism for preserving phenotypic behavioural diversity in a Genetic Programming application for hedge fund portfolio optimization, and provide experimental res...