Yakup Paker,
Jean-Pierre Banatre,
Muslim Bozyigit
Springer Berlin Heidelberg
0e druk, 2012
9783642466069
Distributed Operating Systems
Theory and Practice
Specificaties
Paperback, 379 blz.
|
Engels
Springer Berlin Heidelberg |
0e druk, 2012
ISBN13: 9783642466069
Rubricering
Onderdeel van serie
NATO ASI Subseries F:
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,
Specificaties
ISBN13:9783642466069
Taal:Engels
Bindwijze:paperback
Aantal pagina's:379
Uitgever:Springer Berlin Heidelberg
Druk:0
Hoofdrubriek:Besturingssystemen, Computer en informatica
Serie:NATO ASI Subseries F:
Inhoudsopgave
1 Formal Aspects of Concurrent Systems.- A Formal Basis for the Specification of Concurrent Systems.- On the Construction of Distributed Programs.- Derivation of Distributed Algorithms.- 2 Design Issues for Distributed Operating Systems.- Design of Highly Decentralised Operating Systems.- Communication Models for Distributed Computation.- New Concepts for Distributed System Structuring.- 3 Hardware Support for Distributed Computing Systems.- Distributed Computing System Architectures: Hardware.- Hardware Support for the Distributed Operating System of the Heidelberg Polyp Processor.- 4 Case Studies.- The Apollo DOMAIN Distributed File System.- The CHORUS Distributed Operating System: Some Design Issues.- The Conic Support Environment for Distributed Systems.- An Experience in Solving a Transaction Ordering Problem in a Distributed System.- Distributed Transaction Processing and The Camelot System.- Worm Programs.