5757 search results - page 170 / 1152 » Dynamic Policy Programming |
198
click to vote
PASTE
2010
ACM
15 years 10 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
160
click to vote
CAV
2007
Springer
16 years 15 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
166
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...
158
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
193
click to vote
EUROGP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. To analyse various properties of the search process of genetic programming it is useful to quantify the distance between two individuals. Using operator-based distance me...