1945 search results - page 113 / 389 » Speeding up Serpent |
135
click to vote
ICRA
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— Speeding up robot motion provides not only improvement in operating efficiency but also improves dexterous manipulation by taking advantage of an unstable state or non...
141
click to vote
ICRA
2006
IEEE
16 years 11 days ago
2006
IEEE
- This paper presents experiments with a new, three-dimensional bipedal running behaviour for our Robotic Hexapod, RHex. The robot and the bipedal gait are underactuated, using onl...
166
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
We propose a load balancing heuristic for parallel adaptive finite element method (FEM) simulations. In contrast to most existing approaches, the heuristic focuses on good partit...
176
click to vote
MTV
2006
IEEE
16 years 10 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
169
click to vote
MTV
2005
IEEE
15 years 12 months ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...