246 search results - page 18 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
119
click to vote
WDAG
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. We argue that failure detectors encapsulate fairness. Fairness is a measure of the number of steps a process takes relative to another processes and/or messages in transi...
101
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
105
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
138
click to vote
ICPP
2009
IEEE
14 years 11 months ago
2009
IEEE
The emergence of multicore processors raises the need to efficiently transfer large amounts of data between local processes. MPICH2 is a highly portable MPI implementation whose l...
144
Voted
CN
2006
15 years 1 months ago
2006
Heterogeneous multihop wireless networks such as wireless mesh networks consist of a set of resource-constrained mobile nodes that want to communicate with each other and a set of...