5090 search results - page 182 / 1018 » Constructing Strategies for Programming |
120
Voted
PAAPP
2002
15 years 2 months ago
2002
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...
134
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
112
click to vote
AAAI
2007
15 years 4 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
111
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
118
Voted
IANDC
2006
15 years 2 months ago
2006
Dynamic Programming solves combinatorial optimization problems by recursive decomposition and tabulation of intermediate results. The first step in the design of a dynamic program...