1159 search results - page 36 / 232 » On The Next Move in Programming |
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper addresses the problem of generating optimal joint trajectories for redundant manipulators when multiple criteria are to be considered. A dynamic programming approach...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
GECCO
2007
Springer
14 years 5 months ago
2007
Springer
In recent years the computing power of graphics cards has increased significantly. Indeed, the growth in the computing power of these graphics cards is now several orders of magn...
CISIS
2010
IEEE
14 years 4 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
ESOP
2006
Springer
14 years 2 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...