1226 search results - page 113 / 246 » Proofs, Programs and Abstract Complexity |
116
click to vote
IWPC
2002
IEEE
15 years 8 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
126
click to vote
MP
2006
15 years 3 months ago
2006
Abstract. Traditional stochastic programming is risk neutral in the sense that it is concerned with the optimization of an expectation criterion. A common approach to addressing ri...
127
Voted
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
113
click to vote
SPIN
2001
Springer
15 years 7 months 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...
140
Voted
GCC
2006
Springer
15 years 7 months ago
2006
Springer
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...