870 search results - page 119 / 174 » The failure detector abstraction |
148
click to vote
FORTE
1998
15 years 7 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
135
click to vote
FTCS
1998
15 years 7 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
151
click to vote
SOSP
1997
ACM
15 years 7 months ago
1997
ACM
Abstract: Transactions and recoverable memories are powerful mechanisms for handling failures and manipulating persistent data. Unfortunately, standard recoverable memories incur a...
149
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
Abstract. Most applications of competitive analysis have involved online problems where a candidate on-line algorithm must compete on some input sequence against an optimal o -line...
178
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Granuloma is a medical term for a ball-like collection of immune cells that attempts to remove foreign substances from a host organism. This response is a special type o...