2947 search results - page 383 / 590 » The timely token protocol |
232
click to vote
CLUSTER
2007
IEEE
16 years 27 days ago
2007
IEEE
— One of the most useful features provided by virtual machine (VM) technologies is the ability to migrate running OS instances across distinct physical nodes. As a basis for many...
169
click to vote
COMSWARE
2007
IEEE
16 years 27 days ago
2007
IEEE
— Wireless sensor networks have attracted significant interest for various scientific, military, and e-health applications. Recently a new class of sensor networks “sensor/ac...
161
click to vote
INFOCOM
2007
IEEE
16 years 26 days ago
2007
IEEE
—This paper addresses the dynamics of broadcast flooding in random wireless ad hoc networks. In particular, we study the subset of nodes covered by a flood as well as timing is...
206
click to vote
SUTC
2006
IEEE
16 years 17 days ago
2006
IEEE
Energy management in sensor networks is crucial to prolong the network lifetime. Though existing sleep scheduling algorithms save energy, they lead to a large increase in end-to-e...
199
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...