Cargando…
Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Berlin :
Springer-Verlag,
1995.
|
| Colección: | Lecture notes in computer science ;
938 |
| Materias: |
Tabla de Contenidos:
- Architectural issues in the StormCast system / D. Johansen, G. Hartvigsen
- Lessons learned from building and using the Arjuna distributed programming system / S.K. Shrivastava
- A high performance totally ordered multicast protocol / B. Whetten, T. Montgomery, S. Kaplan
- New applications for group computing / R. van Renesse [and others]
- Support for information sharing in CSCW based on casually and totally ordered group communication / M. Kolland
- The design of the Transis system / D. Dolev, D. Malki
- The rampart toolkit for building high-integrity services / M.K. Reiter
- Deriving optimal checkpoint protocols for distributed shared memory architectures / L. Alvisi, K. Marzullo
- Transaction model vs virtual synchrony model : bridging the gap / R. Guerraoui, A. Schiper
- Modelling Darwin in the [pi]-calculus / J. Magee, S. Eisenbach, J. Kramer
- Towards open service environments / K. Geihs, B. Bär, A. Puder
- Correctness proofs of distributed algorithms / W. Reisig
- Deterministic fault injection of distributed systems / S. Dawson, F. Jahanian
- A non-blocking lightweight implementation of causal order message delivery / F. Mattern, S. Fünfrocken
- Merits of a probabilistic approach to properties in process group systems / K.P. Birman
- Sequential consistency in distributed systems / M. Mizuno, M. Raynal, J.Z. Zhou
- Speedup limits for tightly-coupled parallel computations / R. Schwarz.