1906 search results - page 307 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
148
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Enabling high performance, persistent mobile computing has recently become a very active research area. The widespread popularity of mobile computing devices, such as laptops, han...
176
click to vote
SIGMETRICS
2009
ACM
15 years 11 months ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
137
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
166
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...
164
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...