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

Dieser Band ist der Tagungsbericht eines gemeinsamen Workshops zweier thematisch verwandter Sonderforschungsbereiche, des SFB 124 "VLSI-Entwurfsmethoden und Parallelität" an den Universitäten Kaiserslautern und Saarbrücken und des SFB 182 "Multiprozessor- und Netzwerkkonfigurationen" an der Universität Erlangen-Nürnberg. In dem Internationalen Begegnungs- und Forschungszentrum für Informatik Schloß Dagstuhl wurden sieben Arbeitssitzungen zu folgenden Themenkreisen abgehalten: Strukturen verteilter und paralleler Rechensysteme, Entwurfssprachen und -systeme, Architekturen verteilter Betriebssysteme, Leistungsanalyse und -bewertung, Kommunikation in verteilten Systemen, verteilte Verarbeitungsmodelle für Datenbankanwendungen, Anwendungen. Der Tagungsband ist Prof. Wolfgang Händler zum 70. Geburtstag gewidmet "in Anerkennung seiner Pionierleistung auf dem Gebiet der Parallelrechner." Front Matter....Pages I-XII Fehlertoleranz in universellen Hochleistungs-Parallelrechnern....Pages 1-14 Überblick über PRAM-Simulationen und ihre Realisierbarkeit....Pages 15-39 Implementierung einer funktionalen Programmiersprache auf einem Transputernetz....Pages 40-65 Verteilte Termersetzung als Berechnungsmodell für objektorientierte Systeme....Pages 66-77 PM: Eine Umgebung zur Programmierung verteilter Systeme....Pages 78-90 Design Rationale for the MOSKITO Kernel....Pages 91-109 Performance Analysis of Distributed Systems in the COIN Environment....Pages 110-121 Integrating Monitoring and Modeling to a Performance Evaluation Methodology....Pages 122-149 Grundkonzepte und Realisierungsstrategien des ConTract-Modells....Pages 150-171 Formal Description, Time and Performance Analysis a Framework....Pages 172-190 Interkonnektionsarchitektur für Multicomputer....Pages 191-203 Realisierungskonzepte für die parallele Bearbeitung von Anfragen auf komplexen Objekten....Pages 204-220 Von Transaktionen zu Problemlösungszyklen: Erweiterte Verarbeitungsmodelle für Non-Standard-Datenbanksysteme....Pages 221-247 Gewinnung von dichten Tiefenbildern aus Farbstereoaufnahmen durch ’Simuliertes Ausfrieren’....Pages 248-259 Basismechanismen zur Kooperation beim parallelen VLSI-Entwurf....Pages 260-283 Dieser Band ist der Tagungsbericht eines gemeinsamen Workshops zweier thematisch verwandter Sonderforschungsbereiche, des SFB 124 "VLSI-Entwurfsmethoden und Parallelität" an den Universitäten Kaiserslautern und Saarbrücken und des SFB 182 "Multiprozessor- und Netzwerkkonfigurationen" an der Universität Erlangen-Nürnberg. In dem Internationalen Begegnungs- und Forschungszentrum für Informatik Schloß Dagstuhl wurden sieben Arbeitssitzungen zu folgenden Themenkreisen abgehalten: Strukturen verteilter und paralleler Rechensysteme, Entwurfssprachen und -systeme, Architekturen verteilter Betriebssysteme, Leistungsanalyse und -bewertung, Kommunikation in verteilten Systemen, verteilte Verarbeitungsmodelle für Datenbankanwendungen, Anwendungen. Der Tagungsband ist Prof. Wolfgang Händler zum 70. Geburtstag gewidmet "in Anerkennung seiner Pionierleistung auf dem Gebiet der Parallelrechner."