Sciweavers

4302 search results - page 489 / 861
» Ambiguity as a resource for design
Sort
View
ICRA
2000
IEEE
125views Robotics» more  ICRA 2000»
15 years 11 months ago
Controlling a Multijoint Robot for Autonomous Sewer Inspection
In this paper a multijoint robot for sewer inspection tasks is presented. In order to increase the operating scope the robot has been made able to run round or over obstacles, to ...
Kai-Ulrich Scholl, Volker Kepplin, Karsten Berns, ...
SIGOPSE
2000
ACM
15 years 11 months ago
Deferring trust in fluid replication
Mobile nodes rely on external services to provide safety, sharing, and additional resources. Unfortunately, as mobile nodes move through the networking infrastructure, the costs o...
Brian D. Noble, Ben Fleis, Landon P. Cox
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
15 years 11 months ago
Efficient decision ordering techniques for SAT-based test generation
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
DAC
1999
ACM
15 years 11 months ago
Distributed Application Development with Inferno
Distributed computing has taken a new importance in order to meet the requirements of users demanding information “anytime, anywhere.” Inferno facilitates the creation and sup...
Ravi Sharma
DFT
1999
IEEE
125views VLSI» more  DFT 1999»
15 years 11 months ago
Algorithms for Efficient Runtime Fault Recovery on Diverse FPGA Architectures
The inherent redundancy and in-the-field reconfiguration capabilities of field programmable gate arrays (FPGAs) provide alternatives to integrated circuit redundancy-based fault r...
John Lach, William H. Mangione-Smith, Miodrag Potk...