GI — 18. Jahrestagung II: Vernetzte und komplexe Informatik-Systeme. Hamburg, 17.–19. Oktober 1988. Proceedings: Informatik-Fachberichte, cartea 188

VLSI und Architekturkonzepte.- SFB 124: VLSI-Entwurfsmethoden und Parallelität.- PLAYOUT — A Hierarchical Layout System.- Entwurf einer integrierten Schaltung zur Beschleunigung von Koordinatentransformationen mit einem Silicon Compiler.- Ein VLSI-Chip für das Gleitkomma-Skalarprodukt der Kulisch-Arithmetik.- Entwurf eines systolischen Arrays in Wafer Scale Technik für die digitale Signalverarbeitung.- Produktionstest synchroner Schaltwerke auf der Basis von Pipelinestrukturen.- Entwurf von Testarchitekturen für VLSI-Bausteine.- Wertebereichsanalyse zur Unterstützung einer hierarchischen Testmustergenerierung.- Ein Ansatz zur hierarchischen Testvorbereitung für sequentielle Schaltungen.- Automatisierung des Entwurfs vollständig testbarer Schaltungen.- Modulare Implementierung von Schaltwerken unter Berücksichtigung topologischer Randbedingungen.- Hierarchische Zerlegung von Graphen mit zwei ausgezeichneten Knoten mit Anwendungen bei der Synthese und Analyse von MOS-Schaltungen.- Parallelism in the Pesa I Multiprocessor.- PEBSY — Ein programmierbares Echtzeit-Bildbearbeitungs-System.- Ein Simulationsmodell zur hierarchischen Entwicklung von Netzwerk-Strukturen.- Ein retargierbarer Mikrocode-Compiler und seine Anwendung in Entwurfsverifikation und Architekturbewertung.- Partitionierungsschemata für Rechnerstrukturen.- Graphik in der Elektrotechnik.- Visualisierung und Steuerung technischer Prozesse mit einer graphisch-interaktiven Benutzungsoberfläche.- MLED — Ein Mehrebenen Graphik Editor für den VLSI-Entwurf.- Ein wissensbasierter Elektroniksimulator mit graphischer Benutzeroberfläche.- Grafikaspekte beim Einsatz eines CAD-Systems für Elektronik und Mechanik in einer industriellen Umgebung.- Selbstausbildung mit dem SOFTBOX-Ausbildungssystem.- Eineverfahrensneutrale Schnittstelle zur beleglosen Übertragung schaltungstechnischer Unterlagen.- EDIF: Eine Methode zum Transfer von Stromlaufsymbolen.- CAD-Einsatz bei der Dokumentation elektrotechnischer Anlagen in der Automobilindustrie und die Probleme eines CAD-gerechten Datenaustausches.- CAE für die Elektrotechnik Anwendung Stromlaufpläne.- Zuverlässigkeit und Fehlertoleranz in vernetzten und komplexen Systemen.- Fehlertoleranzaktivitäten in Deutschland.- Modeile der Fehlertoleranz in Nachrichten-gekoppelten Parallelrechnern.- Entwurf und Bewertung fehlertoleranter, verteilter Echtzeitsysteme am Beispiel MARS.- Fehlerbehebung durch Rücksetzen in Multiprozessor-Baumkonfigurationen.- Fault-Tolerance in Non-linear Neural Networks.- Symbolical Expressions for the Reliability of Complex Systems.- Methoden zur Entwicklung komplexer Systeme.- Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen.- Die Modellierung komplexer Systeme mit GRAPES-86.- Jackson System Development mit Speedbuilder.- Ein Toolset für den graphischen Entwurf verteilter Systeme mit SDL.- Die Erstellung formaler Fachkonzepte in der Software-Industrie.- Technologische und methodische Erfahrungen aus einem umfangreichen Software-Projekt.- Softwaretechnik und verteilte Systeme.- Verteilte Softwareentwicklung.- Konzepte verteilter Programmierung — Erfahrungen bei der Entwicklung eines dezentralen Terminvereinbarungssystems.- System DESIGN; Softwaretechnik für verteilte Anwendungen.- A Distributed Systems Architecture Supporting Multi-Threaded Objects.- Werkzeuge zur Entwicklung verteilter Systeme.- Automatische Parallelisierung von Aktivitäten in einem verteilten System.- Quellbezogenes Debugging von Multimikroprozessoren.- Verteilte Datenbanksysteme.-Directions in Distributed Databases.- Implementierung eines verteilten Datenverwaltungssystems für technische Anwendungen — eine Durchführbarkeitsstudie.- Datenhaltung in Rechnernetzen mit PISA.- UDS-D: Die verteilte Datenhaltung für UDS.- NonStop SQL.- Verteilung im SQL-DBMS REFLEX.- Der DURESS-Prototyp einer föderativen Datenbankarchitektur und seine globale Transaktionsbehandlung.