Entwurf und Betrieb verteilter Systeme: Fachtagung der Sonderforschungsbereiche 124 und 182, Dagstuhl, 19.–21. September 1990, Proceedings: Informatik-Fachberichte, cartea 264

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.