Sciweavers

5128 search results - page 5 / 1026
» When Abstraction Fails
Sort
View
PODC
1996
ACM
13 years 11 months ago
Fail-Awareness in Timed Asynchronous Systems
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
Christof Fetzer, Flaviu Cristian
NETWORKING
2008
13 years 8 months ago
Concurrent Multipath Transfer Using SCTP Multihoming: Introducing the Potentially-Failed Destination State
Previously, we identified the failure-induced receive buffer (rbuf) blocking problem in Concurrent Multipath Transfer using SCTP multihoming (CMT), and proposed CMT with a Potentia...
Preethi Natarajan, Nasif Ekiz, Paul D. Amer, Janar...
IJFCS
2007
98views more  IJFCS 2007»
13 years 7 months ago
Modular Ranking Abstraction
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
AIPS
2010
13 years 7 months ago
When Abstractions Met Landmarks
tractions Met Landmarks C. Domshlak M. Katz S. Lefler Technion - Israel Institute of Technology
Carmel Domshlak, Michael Katz, Sagi Lefler