Sciweavers

11384 search results - page 1903 / 2277
» Achieved IPC Performance
Sort
View
ICRA
2009
IEEE
150views Robotics» more  ICRA 2009»
15 years 4 months ago
Piezoelectric ultrasonic resonant micromotor with a volume of less than 1 mm3 for use in medical microbots
To improve on current methods of minimally invasive surgery, research is being carried out on systems that will permit procedures to be conducted on the micro-scale using remotely ...
Brett Watson, James Friend, Leslie Yeo, Metin Sitt...
ICRA
2009
IEEE
116views Robotics» more  ICRA 2009»
15 years 4 months ago
A switching active sensing strategy to maintain observability for vision-based formation control
Abstract-- Vision-based control of a robot formation is challenging because the on-board sensor (camera) only provides the view-angle to the other moving robots, but not the distan...
Gian Luca Mariottini, Simone Martini, Magnus Egers...
ICSM
2009
IEEE
15 years 4 months ago
Effective and efficient localization of multiple faults using value replacement
We previously presented a fault localization technique called Value Replacement that repeatedly alters the state of an executing program to locate a faulty statement [9]. The tech...
Dennis Jeffrey, Neelam Gupta, Rajiv Gupta
ICST
2009
IEEE
15 years 4 months ago
Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned
Measurement and detection of redundancy in test suites attempt to achieve test minimization which in turn can help reduce test maintenance costs, and to also ensure the integrity ...
Negar Koochakzadeh, Vahid Garousi, Frank Maurer
ICST
2009
IEEE
15 years 4 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
« Prev « First page 1903 / 2277 Last » Next »