Sciweavers

714 search results - page 20 / 143
» Verification and Compliance Testing
Sort
View
ICNP
1995
IEEE
15 years 7 months ago
Verification and diagnosis of testing equivalence and reduction relation
Zhongping Tao, Gregor von Bochmann, Rachida Dssoul...
50
Voted
IBMSJ
2002
44views more  IBMSJ 2002»
15 years 3 months ago
Software debugging, testing, and verification
Brent Hailpern, Padmanabhan Santhanam
97
Voted
ICRA
2007
IEEE
171views Robotics» more  ICRA 2007»
15 years 9 months ago
Design and Philosophy of the BiMASC, a Highly Dynamic Biped
Abstract— This paper discusses the design principles and philosophy of the BiMASC, a biped with Mechanically Adjustable Series Compliance which incorporates tuned mechanical leg ...
Jonathan W. Hurst, Joel E. Chestnutt, Alfred A. Ri...