3169 search results - page 433 / 634 » Robust Timed Automata |
167
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
Commodity file systems trust disks to either work or fail completely, yet modern disks exhibit more complex failure modes. We suggest a new fail-partial failure model for disks, ...
160
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— In order to achieve reliable autonomous control in advanced robotic systems like entertainment robots, assistive robots, humanoid robots and autonomous vehicles, sensory data n...
181
click to vote
ECRTS
2006
IEEE
16 years 19 days ago
2006
IEEE
Due to the complexity and requirements of modern realtime systems, multiple teams must often work concurrently and independently to develop the various components of the system. S...
205
click to vote
BROADNETS
2005
IEEE
16 years 6 days ago
2005
IEEE
— Lightweight protocols that are both bandwidth and power thrifty are desirable for sensor networks. In addition, for many sensor network applications, timeliness of data deliver...
193
click to vote
SIGCOMM
2005
ACM
16 years 4 days ago
2005
ACM
This paper describes ExOR, an integrated routing and MAC protocol that increases the throughput of large unicast transfers in multi-hop wireless networks. ExOR chooses each hop of...