2838 search results - page 245 / 568 » Verifying Controlled Components |
108
click to vote
CIRA
2007
IEEE
15 years 7 months ago
2007
IEEE
—Many researchers have been encouraged to investigate the design, posture and stability of biped robots in order to replicate the anthropoid gait. This paper addresses the design...
134
Voted
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
108
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects network queuing. An approach for guaranteeing performance requirements is...
123
Voted
HAPTICS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we concentrate on the design of a new whole-sensitive robot arm enabling torque measurement in each joint by means of developed optical torque sensors. When the con...
80
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— Distributed channel access is essential for a wireless network without a central controller. In our previous research, we have proposed a distributed channel access scheme to a...