Gi _ 6. Jahrestagung: Stuttgart, 29. Sept. - 1. Okt. 1976 (informatik-fachberichte) (german Edition)

Front Matter....Pages N2-X An Evaluation of Several System Protection Strategies....Pages 1-15 Distributed Congestion Control in a Packet Network: The Channel Load Limiter....Pages 16-21 ADV-Systementwicklung und Organisation der Aufgabenerfüllung....Pages 22-42 Anwendungen der Graphischen Datenverarbeitung....Pages 43-62 Some Aspects of Random Context Grammars....Pages 63-75 Zur Analysenkomplexitaet von Grammatiken und Pushdown-Akzeptoren, die Hilfszaehler Verwenden....Pages 76-85 Canonical Bottom-up Parsing....Pages 86-94 Top Down Parsing of Macro Grammars....Pages 95-108 How Program Statements Transform Predicates....Pages 109-120 Program Proving: Exit and Return Jumps in Structured Programs....Pages 121-132 Language Representation Based on Abstract Sytax....Pages 133-147 On the Complexity of Decision Problems for Classes of Simple Programs on Strings....Pages 148-163 Developments in Compiler Writing Systems....Pages 164-178 Structured Development of the Computer Aided Design System IOD....Pages 179-194 Änderungsfreundlichkeit Kommerzieller Anwendungsprogramme....Pages 195-210 An Optimal Evaluation of Boolean Expressions in an On-Line Query System....Pages 211-220 The User Specialty Languages System....Pages 221-235 Die Bestimmung Optimaler Operationsfolgen zur Konversion von Dateien mit Mehrfach Vorhandenen Datenelementen....Pages 236-250 Interactive Storing, Retrieval, Transformation, and Evaluation of Scientific Data with an Experimental System....Pages 251-266 A General Application Guidance System for the Problem Solver....Pages 267-281 Die Überprüfung von semantischen Integritätsbedingungen in Relationalen Datenbanksystemen....Pages 282-300 Binary Search Trees: Average and Worst Case Behavior (Extended Abstract)....Pages 301-313 Neueintragung in binären Suchbäumen durch Verdrängung....Pages 314-326 Zum optimalen Multiprogramming-Grad bei streuender Programm-Größe....Pages 327-342 Zeitgerechte Prozessorzuteilung in einer harten Realzeitumgebung....Pages 343-359 On The Relationship of Sector References, Sector Placement and Paging Performance....Pages 360-372 Über Eine Kostenfunktion für den Seitenwechsel unter Berücksichtigung von Datenübertragung und Hauptspeicherbelegung....Pages 373-387 Eine Diskussion verschiedener Zugänge zum Deterministischen Scheduling Problem....Pages 388-397 A Model of Process Coordination in Distributed Computer Systems....Pages 398-411 Systematic Installation Management....Pages 412-426 Understanding Lisp Programs is Improving Lisp Programs....Pages 427-441 Symbolische Lösung von Differentialgleichungen 1. Ordnung und 1. Grades Durch Heuristische Programmierung....Pages 442-456 Asynchronous Interlock Units for Speed-Independent Multiprocessor Systems....Pages 457-464 Eine Methode Zum Entwurf von Digitalrechnern Mit der Programmiersprache Mimola....Pages 465-478 Back Matter....Pages 479-487