1554 search results - page 129 / 311 » Testing Polymorphic Behavior |
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...
ICRA
2002
IEEE
14 years 29 days ago
2002
IEEE
Abstract— This paper presents the results of an experiment in human-robot social interaction. Its purpose was to measure the impact of certain features and behaviors on people’...
DATE
1999
IEEE
14 years 10 days ago
1999
IEEE
This work presents a new diagnosis method for use in an adaptive analog tester. The tester is able to detect faults in any linear circuit by learning a reference behavior in a fir...
DAC
1996
ACM
14 years 5 days ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
AMS
2007
Springer
14 years 1 days ago
2007
Springer
Abstract In legged systems, springy legs facilitate gaits with subsequent contact and flight phases. Here, we test whether electrical motors can generate leg behaviors suitable for...