Distributed Operating Systems

Yakup Paker

ISBN 10: 3642466060 / ISBN 13: 9783642466069

Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2012, 2012

Riguardo questo articolo

This item is printed on demand - Print on Demand Titel. Neuware -This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch. Codice articolo 9783642466069

Dati bibliografici

Titolo: Distributed Operating Systems

Casa editrice: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2012

Data di pubblicazione: 2012

Legatura: Taschenbuch

Condizione: Neu

Descrizione articolo

Riassunto:

This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,

Contenuti:

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.