Sciweavers

714 search results - page 20 / 143
» Verification and Compliance Testing
Sort
View
84
Voted
ICNP
1995
IEEE
15 years 7 months ago
Verification and diagnosis of testing equivalence and reduction relation
Zhongping Tao, Gregor von Bochmann, Rachida Dssoul...
52
Voted
IBMSJ
2002
44views more  IBMSJ 2002»
15 years 3 months ago
Software debugging, testing, and verification
Brent Hailpern, Padmanabhan Santhanam
99
Voted
ICRA
2007
IEEE
171views Robotics» more  ICRA 2007»
15 years 10 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...