Distributed Operating Systems
Springer Berlin (Verlag)
978-3-642-46606-9 (ISBN)
This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,
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.
| Erscheint lt. Verlag | 3.4.2012 |
|---|---|
| Reihe/Serie | NATO ASI Subseries F: |
| Zusatzinfo | X, 379 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 178 x 254 mm |
| Gewicht | 741 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
| Schlagworte | area • Communication • Computer • Design • Distributed Computing • distributed file system • Distributed Systems • Field • file system • Network • operating system • Processing • Production • System • VLSI |
| ISBN-10 | 3-642-46606-0 / 3642466060 |
| ISBN-13 | 978-3-642-46606-9 / 9783642466069 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
