12745 search results - page 2389 / 2549 » Automating test automation |
142
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this work, we have extended the concept of constrained motion control of robots to surgical tasks that require multiple robots. We present virtual fixtures to guide the mot...
121
click to vote
IPPS
2008
IEEE
2008
IEEE
Modeling and predicting application performance on parallel computers using HPC challenge benchmarks
15 years 10 months ago
A method is presented for modeling application performance on parallel computers in terms of the performance of microkernels from the HPC Challenge benchmarks. Specifically, the a...
134
click to vote
ISPASS
2008
IEEE
15 years 10 months ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...
147
click to vote
LCN
2008
IEEE
15 years 10 months ago
2008
IEEE
—Networked sensors and actuators for purposes from production monitoring and control to home automation are in increasing demand. Until recently, the main focus laid on wired sys...
118
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...