2924 search results - page 510 / 585 » Lower Bounds in Distributed Computing |
128
click to vote
PODC
1999
ACM
15 years 7 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
123
click to vote
ICS
1999
Tsinghua U.
15 years 7 months ago
1999
Tsinghua U.
The Virtual Interface (VI) Architecture provides protected userlevel communication with high delivered bandwidth and low permessage latency, particularly for small messages. The V...
127
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: We develop a Bayesian method based on MCMC for estimating the relative rates of pericentric and paracentric inversions from marker data from two species. The method al...
124
click to vote
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this paper we study the influence of using hub nodes to relay messages in human-based delay tolerant networks (DTNs), by analyzing empirical traces obtained by human mobilit...
136
click to vote
STOC
2001
ACM
16 years 3 months ago
2001
ACM
The dynamic behavior of a network in which information is changing continuously over time requires robust and efficient mechanisms for keeping nodes updated about new information. ...