6693 search results - page 900 / 1339 » On an anytime algorithm for control |
110
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
130
click to vote
ROBOCUP
2005
Springer
15 years 10 months ago
2005
Springer
We present a parametric walk model for a four-legged robot. The walk model is improved using a genetic algorithm, but unlike previous approaches, the fitness is determined in a ru...
129
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
156
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Designing efficient sorting networks has been a challenging combinatorial optimization problem since the early 1960’s. The application of evolutionary computing to this problem ...
164
Voted
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
— For multimedia applications, loop buffering is an efficient mechanism to reduce the power in the instruction memory of embedded processors. In particular, software controlled ...