6. GI Jahrestagung 1976: Stuttgart

Erich J. Neuhold (Ed.): GI - 6. Jahrestagung, Stuttgart, 29. September - 1. Oktober 1976, Proceedings. Informatik-Fachberichte 5 Springer 1976, ISBN 3-540-07912-2

@proceedings{DBLP:conf/gi/1976,
  editor    = {Erich J. Neuhold},
  title     = {GI - 6. Jahrestagung, Stuttgart, 29. September - 1. Oktober 1976,
               Proceedings},
  booktitle = {GI Jahrestagung},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {5},
  year      = {1976},
  isbn      = {3-540-07912-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Main Lectures

George Radin: An Evaluation of Several System Protection Strategies. 1-15
Louis Pouzin: Distributed Congestion Control in a Packet Network: The Channel Load Limiter. 16-21
P. Schmitz: ADV - Systementwicklung und Organisation der Aufgabenerfüllung. 22-42
José L. Encarnação: Anwendungen der graphischen Datenverarbeitung. 43-62

Formal Languages, Syntactic Analysis, Semantic, Language Models

Grzegorz Rozenberg, Sebastiaan H. von Solms: Some Aspects of Random Context Grammars. 63-75
J. Albert, W. Erni: Zur Analysenkomplexität von Grammatiken und Pushdown-Akzeptoren, die Hilfszähler verwenden. 76-85
Otto Mayer: Canonical Bottom-up-Parsing. 86-94
Manfred Heydthausen, Kurt Mehlhorn: Top Down Parsing of Macro Grammars. 95-108
Leendert Ammeraal: How Program Statements Transform Predicates. 109-120
Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone: Program Proving: Exit and Return Jumps in Structured Programs. 121-132
Hans Diel: Language Representation Based on Abstract Syntax. 133-147
Giorgio Ausiello, Marina Moscarini: On the Complexity of Decision Problems for Classes of Simple Programs on Strings. 148-163

Programming Languages, Survey

Kari-Jouko Räihä, Mikko Saarinen: Developments in Compiler Writing Systems. 164-178

Programming Languages

Eliezer Kantorowitz: Structured Development of a Computer Aided Design System. 179-194
Hubert Österle: Änderungsfreundlichkeit kommerzieller Anwendungsprogramme. 195-210

Data Bases

Michael Z. Hanani: An Optimal Evaluation of Boolean Expressions in an On-Line Query System. 211-220
R. Kogon, Dieter Lattermann, Hubert Lehmann, Nikolaus Ott, Magdalena Zoeppritz: The User Specialty Languages System. 221-235
M. Deck, Theo Härder, J. Reus: Die Bestimmung optimaler Operationsfolgen zur Konversion von Dateien mit mehrfach vorhandenen Datenelementen. 236-250
R. Hartwig: Interactive Data Manipulation and Data Analysis. 251-266
R. Erbe, Georg Walch: A General Application Guidance System. 267-281
Hartmut Wedekind: Die Überprüfung von semantischen Integritätsbedingungen in Datenbanksystemen. 282-300

Data Structures

Reiner Güttler, Kurt Mehlhorn, Wolfgang Schneider, Norbert Wernet: Binary Search Trees: Average and Worst Case Behavior. 301-313
C. Pokorny: Neueintragung in binären Suchbäumen durch Verdrängung. 314-326

Operating Systems

Bernhard Walke: Zum optimalen Multiprogramming-Grad bei streuender Programm-Größe. 327-342
R. Henn: Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung. 343-359
Donald R. Innes: On the Relationship of Sector References, Sector Placement and Paging Performance. 360-372
Günther Weber: Über eine Kostenfunktion für den Seitenwechsel unter Berücksichtigung von Datenübertragung und Hauptspeicherbelegung. 373-387
Sigram Schindler, Harald Lüdtke: The Complexity of Scheduling Algorithms for Three-Processor Systems. 388-397
Paolo Ancilotti: A Model of Process Coordination in Distributed Computer Systems. 398-411
Heinz Beilner, Pieter S. Kritzinger: Systematic Installation Management (An IMMT Report). 412-426

Artificial Intelligence

Harald Wertz: Understanding Lisp-Programs is Improving Lisp-Programs. 427-441
Peter Schmidt: Maschinelle symbolische Lösung von Differentialgleichungen. 442-456

Hardware

Paolo Corsini: Asynchronous Interlock Units for Speed-Independent Multiprocessor Systems. 457-464
Gerhard Zimmermann: Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache MIMOLA. 465-478