Blick ins Buch

GI — 6. Jahrestagung

Stuttgart, 29. Sept. – 1. Okt. 1976

E. J. Neuhold (Herausgeber)

Buch | Softcover

X, 488 Seiten

1976
Springer Berlin (Verlag)
9783540079125 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

The 6th annual congress of the Gesellschaft fUr Informatik was intended - to convey the current state of the art in various areas of Computer Science; a number of well-known experts were invited for that purpose, - to publish original scientific papers from all fields of Computer SCience, and - to inform about ongoing projects, (partial-) results, special activities e.t.c. The members of the Program Committee E.J. Neuhold (Chairman), Stuttgart A. Blaser, Heidelberg R. Dierstein, Oberpfaffenhofen A. Endres, Sindelfingen L. Hieber, Stuttgart H. Maurer, Karlsruhe H.H. Nagel, Hamburg H.J. Schneider, Erlangen N. Szyperski, Koln E. Voge, Wolfsburg with the extremely valuable help of the referees listed below have tried to select from the many papers submitted to the conference those which contain the most interesting and important results. Special emphasis was to he given to the papers on de velopment experience and use of application systems. Unfor tunately in these areas only very few papers have been submitted and as a consequence the longe range goal of the Gesellschaft fUr Informatik to attract application oriented persons has not been achieved.

Main Lectures.- An Evaluation of Several System Protection Strategies.- Distributed Congestion Control in a Packet Network: The Channel Load Limiter.- ADV - Systementwicklung und Organisation der Aufgabenerfüllung.- Anwendungen der graphischen Datenverarbeitung.- Formal Languages, Syntactic Analysis, Semantic, Language Models.- Some Aspects of Random Context Grammars.- Zur Analysenkomplexität von Grammatiken und Pushdown-Akzeptoren, die Hilfszähler verwenden.- Canonical Bottom-up-Parsing.- Top Down Parsing of Macro Grammars.- How Program Statements Transform Predicates.- Program Proving: Exit and Return Jumps in Structured Programs.- Language Representation Based on Abstract Syntax.- On the Complexity of Decision Problems for Classes of Simple Programs on Strings.- Programming languages. Survey.- Developments in Compiler Writing Systems.- Programming Languages.- Structured Development of a Computer Aided Design System.- Änderungsfreundlichkeit kommerzieller Anwendungsprogramme.- Data Bases.- An Optimal Evaluation of Boolean Expressions in an On-Line Query System.- The User Specialty Languages System.- Die Bestimmung optimaler Operationsfolgen zur Konversion von Dateien mit mehrfach vorhandenen Datenelementen.- Interactive Data Manipulation and Data Analysis.- A General Application Guidance System.- Die Überprüfung von semantischen Integritätsbedingungen in Datenbanksystemen.- Data Structures.- Binary Search Trees: Average and Worst Case Behavior.- Neueintragung in binären Suchbäumen durch Verdrängung.- Operating Systems.- Zum optimalen Multiprogramming-Grad bei streuender Programm-Größe.- Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung.- On the Relationship of Sector References, Sector Placement and Paging Performance.- Über eineKostenfunktion für den Seitenwechsel unter Berücksichtigung von Datenübertragung und Hauptspeicherbelegung.- The Complexity of Scheduling Algorithms for Three-Processor Systems.- A Model of Process Coordination in Distributed Computer Systems.- Systematic Installation Management (An IMMT Report).- Artificial Intelligence.- Understanding LISP-Programs is Improving LISP-Programs.- Maschinelle symbolische Lösung von Differentialgleichungen.- Hardware.- Asynchronous Interlock Units for Speed-Independent Multiprocessor Systems.- Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache Mimola.

Erscheint lt. Verlag	1.10.1976
Reihe/Serie	Informatik-Fachberichte
Zusatzinfo	X, 488 S.
Verlagsort	Berlin
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	830 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Algorithmen • Analysis • Betriebssystem • Computer • Datenbank • Datenstrukturen • Formale Sprache • Hardware • Komplexität • Künstliche Intelligenz • Programmieren • Programmiersprache • Programmierung • Systementwicklung
ISBN-13	9783540079125 / 9783540079125
Zustand	Neuware