4693 search results - page 463 / 939 » Verifying Hybrid Systems |
184
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— To achieve accurate and efficient interaction with humans, robot training is indispensable to make robot cooperate with different host. We are focusing on development of a huma...
194
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...
200
click to vote
HPDC
2006
IEEE
16 years 1 months ago
2006
IEEE
We develop an adaptive load distribution protocol for logical volume I/O workload in clustered storage systems. It exploits data redundancy among decentralized storage servers to ...
162
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...
193
click to vote
ISCA
2005
IEEE
16 years 20 days ago
2005
IEEE
Recent years have seen a burgeoning interest in embedded wireless sensor networks with applications ranging from habitat monitoring to medical applications. Wireless sensor networ...