GI. Gesellschaft für Informatik e.V. 2. Jahrestagung

Inhaltsverzeichnis

• Hauptvorträge.
• Computer System Architecture — A Philosophy of Design.
• Informationssysteme.
• Hardware-Architecture and Computer Organisation.
• Methoden der syntaktischen Analyse bei formalen Sprachen.
• Automaten- und Graphentheorie, Formale Sprachen.
• Das Transitionsmonoid bei der Parallelkomposition von endlichen Automaten.
• Klassifizierung von primitiv-rekursiven Transformationen und Automatentransduktionen.
• Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen.
• An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph.
• A Necessary and Sufficient Condition for Chomsky-Productions over Partially Ordered Symbol Sets.
• Die Größe des minimalen Analysators einer kontextfreien Grammatik.
• Programmschemata mit booleschen Unterprogrammen.
• Programmiersysteme.
• A Hierarchy of Control Structures.
• Mehrdeutige Entscheidungstabellen.
• Design of a Generalized Audit Command Language (ACL).
• Ein Programmiersystem zur problemnahen Erstellung adaptierter Software.
• DIALIS — Ein einfaches Dialogsystem für eine Listensprache.
• Messung der Effizienz eines einfachen „Incremental Compiler“.
• The Structures of the NCC SIMULA COMPILERS and Bench Mark Comparisons with Other Major Languages.
• Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 1.
• Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 2.
• Betriebssysteme.
• Verallgemeinerung -und Implementierung von Synchronisationsoperationen.
• Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem.
• Übersetzung von Kommandosprachen.
• Modularity of Non-Sequential Programs.
• Classes of Optimal Schedules for Multiprocessor Systems.
• Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für einRechnermodell mit 2 Arbeitsspeicherplätzen.
• Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine.
• Einplanung eines leistungsfähigen Software-Meßsystemes bei der Entwicklung eines Betriebssystemes.
• Analysis of Demand Paging Algorithms.
• Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher.
• Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen.
• Modell eines Auftragssystems für die Zeitdienstverwaltung eines Prozeßrechners.
• Auftragsverkehr über einen generellen Auftragspuffer bei Prozeßrechnersystemen.
• Graphische Systeme.
• Sprach- und Datenstruktur des Systems GRAPHIC.
• Die Graphik-Software des TR 440.
• FICHE-Software und COM-Programmierung.
• Zentraleinheiten und Entwicklungsautomatisierung.
• Das Problem der Assoziativspeicherdurchlaufzeit bei Paging- Verfahren im Zehn-Nanosekundenbereich.
• Einige Untersuchungen zur Hardware-Realisierung von Software — Operatoren.
• Performance Evaluation of Processor Design.
• Zur Optimierung von Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose.
• Realisierung des Streaming-Konzepts.
• Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern.
• Experimentiersystem für ein technisches Informatikpraktikum.
• Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten.
• Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Großrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG.
• Die Grundlagen des Programms ATEDIS.
• NEOS — Ein Ansatz zur Lösung einiger offener Probleme bei der Kozeption von Datenbanksystemen.
• Verfahren zur Sicherung und Wiederherstellung von Datenbeständen.
• Juristisches Informationssystem: Eine Fallstudie für ein Informationssystemgroßen Umfangs.
• Das „Pflegeproblem“ bei Information-Retrieval-Systeinen.
• Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien.
• Wortstamm-Retrieval in TELDOK 440.
• Dynamische Dokumentenräume.
• BIBLIS — Ein Bibliotheks-, Informations- und Verwaltungssystem.
• Prozessinformatik.
• Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozeßüberwachung.
• KOSE — Eine Dialogsprache für Prozeßrechner.
• InformationsdarStellung auf Sichtgeräten.
• Der Großrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozeßrechner.
• Die Prozeßprogrammiersprache PEARL — Systembeschreibung und E/A-Konzept.
• Das Task- und Timing-Konzept von PEARL.
• Adressen der Autoren.