Entwurf Und Betrieb Verteilter Systeme: Fachtagung Der Sonderforschungsbereiche 124 Und 182, Dagstuhl, 19.-21. September 1990, Proceedings

ISBN-13: 9783540534907 / Niemiecki / Miękka / 1990 / 295 str.

Theo Harder; Hartmut Wedekind; Gerhard Zimmermann

Opis

Dieser Band ist der Tagungsbericht eines gemeinsamen Workshops zweier thematisch verwandter Sonderforschungsbereiche, des SFB 124 "VLSI-Entwurfsmethoden und Parallelitat" an den Universitaten Kaiserslautern und Saarbrucken und des SFB 182 "Multiprozessor- und Netzwerkkonfigurationen" an der Universitat Erlangen-Nurnberg. In dem Internationalen Begegnungs- und Forschungszentrum fur Informatik Schloss 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 fur Datenbankanwendungen, Anwendungen. Der Tagungsband ist Prof. Wolfgang Handler zum 70. Geburtstag gewidmet "in Anerkennung seiner Pionierleistung auf dem Gebiet der Parallelrechner.""

Spis treści

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.