Overview

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.

Full Product Details

Author:   E. J. Neuhold
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   5
Dimensions:   Width: 17.00cm , Height: 2.60cm , Length: 24.40cm
Weight:   0.854kg
ISBN:  

9783540079125

ISBN 10:   3540079122
Pages:   488
Publication Date:   01 October 1976
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   German

Table of Contents

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 Aufgabenerfullung.- Anwendungen der graphischen Datenverarbeitung.- Formal Languages, Syntactic Analysis, Semantic, Language Models.- Some Aspects of Random Context Grammars.- Zur Analysenkomplexitat von Grammatiken und Pushdown-Akzeptoren, die Hilfszahler 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.- AEnderungsfreundlichkeit 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 UEberprufung von semantischen Integritatsbedingungen in Datenbanksystemen.- Data Structures.- Binary Search Trees: Average and Worst Case Behavior.- Neueintragung in binaren Suchbaumen durch Verdrangung.- Operating Systems.- Zum optimalen Multiprogramming-Grad bei streuender Programm-Groesse.- Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung.- On the Relationship of Sector References, Sector Placement and Paging Performance.- UEber eine Kostenfunktion fur den Seitenwechsel unter Berucksichtigung von Datenubertragung 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 Loesung von Differentialgleichungen.- Hardware.- Asynchronous Interlock Units for Speed-Independent Multiprocessor Systems.- Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache Mimola.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions