3025 search results - page 421 / 605 » Automatic Programming of Robots Using Genetic Programming |
129
click to vote
FOSSACS
2006
Springer
15 years 6 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
127
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Applications composed of multiple parallel libraries perform poorly when those libraries interfere with one another by obliviously using the same physical cores, leading to destru...
141
click to vote
FAC
2008
15 years 3 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
119
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
185
click to vote
CPAIOR
2010
Springer
15 years 1 months ago
2010
Springer
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...