default search action
6. GI Jahrestagung 1976: Stuttgart
- Erich J. Neuhold:
GI - 6. Jahrestagung, Stuttgart, 29. September - 1. Oktober 1976, Proceedings. Informatik-Fachberichte 5, Springer 1976, ISBN 3-540-07912-2
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ürgen 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.