Entwurf und Betrieb verteilter Systeme 1990: Dagstuhl

@proceedings{DBLP:conf/dagstuhl/1990vsys,
  editor    = {Theo H{\"a}rder and
               Hartmut Wedekind and
               Gerhard Zimmermann},
  title     = {Entwurf und Betrieb verteilter Systeme, Fachtagung des Sonderforschungsbereiche
               124 und 182, Dagstuhl, 19.-21. September 1990, Proceedings},
  booktitle = {Entwurf und Betrieb verteilter Systeme},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {264},
  year      = {1990},
  isbn      = {3-540-53490-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Strukturen verteilter und paralleler Rechensysteme

• Mario Dal Cin: Fehlertoleranz in universellen Hochleistungs-Parallelrechnern. 1-14
• Ferri Abolhassan, Jörg Keller, Wolfgang J. Paul: Überblick über PRAM-Simulationen und ihre Realisierbarkeit. 15-39

Entwurfssprachen und -systeme

• Dieter Maurer, Martin Raber, St. Ingbert: Implementierung einer funktionalen Programmiersprache auf einem Transputernetz. 40-65
• Christian Schiedermeier: Verteilte Termersetzung als Berechnungsmodell für objektorientierte Systeme. 66-77

Architektur verteilter Betriebssysteme

• Peter Schlenk: PM: Eine Umgebung zur Programmierung verteilter Systeme. 78-90
• Jürgen Nehmer, Thomas Gauweiler: Design Rationale for the MOSKITO Kernel. 91-109

Leistungsanalyse und -bewertung

• Peter Buhler, Peter Sturm: Performance Analysis of Distributed Systems in the COIN Environment. 110-121
• Richard Hofmann, Rainer Klar, Norbert Luttenberger, Bernd Mohr, Andreas Quick, Franz Sötz: Integrating Monitoring and Modeling to a Performance Evaluation Methodology. 122-149

Gastvortrag

• Helmut Wächter, Andreas Reuter: Grundkonzepte und Realisierungsstrategien des ConTract-Modells. 150-171

Kommunikation

• Ulrich Herzog: Formal Description, Time and Performance Analysis. A Framework. 172-190
• H. Scheidig, R. Spurk: Interkonnektionsarchitektur für Multicomputer. 191-203

Verteilte Verarbeitungsmodelle für Datenbank-Anwendungen

• Harald Schöning: Realisierungskonzepte für die parallele Bearbeitung von Anfragen auf komplexen Objekten. 204-220
• Stefan Jablonski, Berthold Reinwald, Thomas Ruf, Hartmut Wedekind: Von Transaktionen zu Problemlösungszyklen: Erweiterte Verarbeitungsmodelle für Non-Standard-Datenbanksysteme. 221-247

Anwender

• P. Koller, Heinrich Niemann: Gewinnung von dichten Tiefenbildern aus Farbsteueraufnahmen durch "Simuliertes Ausfrieren". 248-259
• Christoph Hübel, Wolfgang Käfer, Horst Pahle, Ernst Siepmann: Basismechanismen zur Kooperation beim parallelen VLSI-Entwurf. 260-283