Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Distributed Algorithms [[electronic resource] ] : 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings / / edited by Andre Schiper
| Distributed Algorithms [[electronic resource] ] : 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings / / edited by Andre Schiper |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (IX, 331 p.) |
| Disciplina | 004/.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer programming Algorithms Computer communication systems Operating systems (Computers) Theory of Computation Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Computer Communication Networks Operating Systems |
| ISBN | 3-540-48029-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Efficient wait-free implementation of a concurrent priority queue -- Binary snapshots -- Linear-time snapshot protocols for unbalanced systems -- Towards a necessary and sufficient condition for wait-free synchronization (Extended Abstract) -- Efficient algorithms for checking the atomicity of a run of read and write operations -- Benign failure models for shared memory -- Generalized agreement between concurrent fail-stop processes -- Controlling memory access concurrency in efficient fault-tolerant parallel algorithms (extended abstract) -- Asynchronous epoch management in replicated databases -- Crash resilient communication in dynamic networks -- Distributed job scheduling using snapshots -- Optimal time self stabilization in dynamic systems -- Tolerating transient and permanent failures (extended abstract) -- Quick atomic broadcast -- Time bounds for decision problems in the presence of timing uncertainty and failures -- Boolean Routing -- Notes on sorting and counting networks (extended abstract) -- A simple, efficient algorithm for maximum finding on rings -- Wang tilings and distributed orientation on anonymous torus networks (extended abstract) -- Fairness of N-party synchronization and its implementation in a distributed environment -- Programming distributed reactive systems: A strong and weak synchronous coupling -- Using message semantics to reduce rollback in the time warp mechanism. |
| Record Nr. | UNISA-996465890803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Practice in Distributed Systems [[electronic resource] ] : International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers / / edited by Kenneth P. Birman, Friedemann Mattern, Andre Schiper
| Theory and Practice in Distributed Systems [[electronic resource] ] : International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers / / edited by Kenneth P. Birman, Friedemann Mattern, Andre Schiper |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XII, 268 p.) |
| Disciplina | 004/.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Computers Operating systems (Computers) Computer Communication Networks Theory of Computation Operating Systems |
| ISBN | 3-540-49409-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architectural issues in the StormCast system -- Lessons learned from building and using the Arjuna distributed programming system -- A high performance totally ordered multicast protocol -- New applications for group computing -- Support for information sharing in CSCW based on causally and totally ordered group communication -- The design of the Transis system -- The Rampart toolkit for building high-integrity services -- Deriving optimal checkpoint protocols for distributed shared memory architectures -- Transaction model vs virtual synchrony model: bridging the gap -- Modelling darwin in the ?-calculus -- Towards open service environments -- Correctness proofs of distributed algorithms -- Deterministic fault injection of distributed systems -- A non-blocking lightweight implementation of causal order message delivery -- Merits of a probabilistic approach to properties in process group systems -- Sequential consistency in distributed systems -- Speedup limits for tightly-coupled parallel computations. |
| Record Nr. | UNISA-996466157803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||