870 search results - page 152 / 174 » The failure detector abstraction |
COMCOM
2006
13 years 9 months ago
2006
Abstract-- We evaluate three retransmission policies for transport protocols that support multihoming (e.g., SCTP). The policies dictate whether retransmissions are sent to the sam...
IJFCS
2006
13 years 9 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
IJHPCA
2006
13 years 9 months ago
2006
Abstract-- High performance computing platforms like Clusters, Grid and Desktop Grids are becoming larger and subject to more frequent failures. MPI is one of the most used message...
JCO
2006
13 years 9 months ago
2006
Abstract. We study efficient algorithms for establishing reliable connections with bandwidth guarantees in communication networks. In the normal mode of operation, each connection ...
TCAD
2008
13 years 9 months ago
2008
Abstract--In this paper, we propose track routing and optimization for yield (TROY), the first track router for the optimization of yield loss due to random defects. As the probabi...