Sciweavers

2172 search results - page 204 / 435
» Building Modern Distributed Systems
Sort
View
SAC
2006
ACM
16 years 5 days ago
Proactive resilience through architectural hybridization
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
Paulo Sousa, Nuno Ferreira Neves, Paulo Verí...
CN
2010
83views more  CN 2010»
15 years 5 months ago
Secure peer sampling
PuppetCast is a protocol for secure peer sampling in large-scale distributed systems. A peer sampling protocol continuously provides each node in the system with a uniform random ...
Gian Paolo Jesi, Alberto Montresor, Maarten van St...
SPAA
1998
ACM
15 years 10 months ago
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D...
ACISICIS
2008
IEEE
16 years 22 days ago
Lessons Learned from Implementing WS-Coordination and WS-AtomicTransaction
This paper presents the design and implementation of a transaction service that complies with the WS-Coordination and WS-AtomicTransaction standards. Such service builds upon XAct...
Ivan Silva Neto, Francisco Reverbel
IPPS
2007
IEEE
16 years 16 days ago
Performance and Scalability of a Component-Based Grid Application
Component-based development has emerged as an effective approach to building flexible systems, but there is little experience in applying this approach to Grid programming. This p...
Nikos Parlavantzas, Matthieu Morel, Vladimir Getov...