Theory and practice in distributed systems : international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers
This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schloß Dagstuhl, Germany in September 1994. During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing. However, this work has bee...
محفوظ في:
| مؤلفون آخرون: | , , |
|---|---|
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
938 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Actes d'un séminaire tenu à Dagstuhl Castle du 5 au 9 septembre 1994, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Theory and practice in distributed systems, international workshop, Dagstuhl Castle, Germany, September 5-9, 1994, selected papers, K.P. Birman, F. Mattern, A. Schiper, eds, Berlin, Springer-Verlag, 1995, 1 vol. (X-261 p.), Lecture notes in computer science, 3-540-60042-6 • Theory and Practice in Distributed Systems, Texte imprimé, 9783662174197 |
| LEADER | 04345nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944381 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155186124 | ||
| 020 | |a 9783540494096 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 245 | 0 | 0 | |a Theory and practice in distributed systems : |b international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 : selected papers |c [edited by] K. P. Birman, F. Mattern, A. Schiper. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 938 |x 1611-3349 | |
| 500 | |a Actes d'un séminaire tenu à Dagstuhl Castle du 5 au 9 septembre 1994, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schloß Dagstuhl, Germany in September 1994. During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing. However, this work has been done by largely disjoint communities of researchers; this workshop brought together established experts from both worlds. The volume contains 17 full papers refereed and revised after the workshop so that they reflect original research enriched by insights gained through discussions at the workshop. Among the issues treated are paradigms and concepts, fundamental algorithms and principles, fault-tolerance, real-time, system structures, large case aspects and others. | ||
| 650 | |a Informatique | ||
| 650 | |a Traitement réparti | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Mattern, Friedemann, |d 1955- |4 pbd | |
| 700 | 1 | |a Schiper, André, |d 1949- |4 pbd | |
| 700 | 1 | |a Birman, Kenneth P. |4 pbd | |
| 776 | 0 | |0 02402838X |t Theory and practice in distributed systems |o international workshop, Dagstuhl Castle, Germany, September 5-9, 1994 |o selected papers |f K.P. Birman, F. Mattern, A. Schiper, eds |c Berlin |n Springer-Verlag |d 1995 |p 1 vol. (X-261 p.) |s Lecture notes in computer science |z 3-540-60042-6 | |
| 776 | 0 | |t Theory and Practice in Distributed Systems |b Texte imprimé |z 9783662174197 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60042-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-BVWBJ8PM-L |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747920168 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60042-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75093266X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60042-6 |z Accès INSA CVL | |
| 997 | |0 944381 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||