1112 search results - page 124 / 223 » Executing Abstract Test Cases |
114
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— We present a novel combination of motion planning techniques to compute motion plans for robotic arms. We compute plans that move the arm as close as possible to the go...
117
click to vote
CPP
2011
14 years 2 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
137
click to vote
ISCA
2005
IEEE
15 years 8 months ago
2005
IEEE
One of the most important problems faced by microarchitecture designers is the poor scalability of some of the current solutions with increased clock frequencies and wider pipelin...
140
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
153
click to vote
ATS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...