4469 search results - page 254 / 894 » Dynamic Program Slicing |
155
click to vote
IOR
2010
15 years 4 months ago
2010
We present a Simplex-type algorithm, that is, an algorithm that moves from one extreme point of the infinite-dimensional feasible region to another not necessarily adjacent extrem...
219
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
We describe two novel constructs for programming parallel machines with multi-level memory hierarchies: call-up, which allows a child task to invoke computation on its parent, and...
156
Voted
IAT
2006
IEEE
16 years 27 days ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
192
Voted
SPIN
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
169
click to vote
EUROGP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract We consider a form of phenotype plasticity in Genetic Programming (GP). This takes the form of a set of real-valued numerical parameters associated with each individual, a...