Buch

Entwurf und Betrieb verteilter Systeme
-Fachtagung der Sonderforschungsbereiche 124 und 182, Dagstuhl, 19.–21. September 1990, Proceedings-Theo Härder; Hartmut Wedekind; Gerhard Zimmermann (Hrsg.)
Übersicht
Verlag | : | Springer Berlin |
Buchreihe | : | Informatik-Fachberichte (Bd. 264) |
Sprache | : | Deutsch |
Erschienen | : | 12. 12. 1990 |
Seiten | : | 283 |
Einband | : | Kartoniert |
Höhe | : | 242 mm |
Breite | : | 170 mm |
Gewicht | : | 510 g |
ISBN | : | 9783540534907 |
Inhaltsverzeichnis
Strukturen verteilter und paralleler Rechensysteme.- Fehlertoleranz in universellen Hochleistungs-Parallelrechnern.- Überblick über PRAM-Simulationen und ihre Realisierbarkeit.- Entwurfssprachen und -systeme.- Implementierung einer funktionalen Programmiersprache auf einem Transputernetz.- Verteilte Termersetzung als Berechnungsmodell für objektorientierte Systeme.- Architektur verteilter Betriebssysteme.- PM: Eine Umgebung zur Programmierung verteilter Systeme.- Design Rationale for the MOSKITO Kernel.- Leistungsanalyse und -bewertung.- Performance Analysis of Distributed Systems in the COIN Environment.- Integrating Monitoring and Modeling to a Performance Evaluation Methodology.- Gastvortrag.- Grundkonzepte und Realisierungsstrategien des ConTract-Modells.- Kommunikation.- Formal Description, Time and Performance Analysis. A Framework.- Interkonnektionsarchitektur für Multicomputer.- Verteilte Verarbeitungsmodelle für Datenbank-Anwendungen.- Realisierungskonzepte für die parallele Bearbeitung von Anfragen auf komplexen Objekten.- Von Transaktionen zu Problemlösungszyklen: Erweiterte Verarbeitungsmodelle für Non-Standard-Datenbanksysteme.- Anwender.- Gewinnung von dichten Tiefenbildern aus Farbstereoaufnahmen durch “Simuliertes Ausfrieren”.- Basismechanismen zur Kooperation beim parallelen VLSI-Entwurf.