4469 search results - page 78 / 894 » Dynamic Program Slicing |
WCRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
SPIN
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
HYBRID
1997
Springer
13 years 12 months ago
1997
Springer
In this paper we outline the derivation of a hybrid Hamilton-JacobiBellman equation for our Multiple Agent Hybrid Control Architecture (MACHA) [5, 4] and a hybrid system dynamic p...
NIPS
2007
13 years 9 months ago
2007
Recently, we have introduced a novel approach to dynamic programming and reinforcement learning that is based on maintaining explicit representations of stationary distributions i...
DISOPT
2006
13 years 7 months ago
2006
We propose an effective heuristic to save memory in dynamic programming on tree decompositions when solving graph optimization problems. The introduced "anchor technique"...