4469 search results - page 85 / 894 » Dynamic Program Slicing |
134
click to vote
FAC
2010
14 years 11 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
135
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
101
click to vote
FOCS
1991
IEEE
15 years 5 months ago
1991
IEEE
We perform linear programming optimizations on the intersection of k polyhedra in R3 , represented by their outer recursive decompositions, in expected time O(k log k log n + √ ...
121
click to vote
TSMC
2008
15 years 2 months ago
2008
A constrained approximate dynamic programming (ADP) approach is presented for designing adaptive neural network (NN) controllers with closed-loop stability and performance guarante...
184
click to vote
DLS
2010
15 years 4 days ago
2010
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...