Overview

tiber die Bedeutung, welche der Informatik in Wissenschaft, Industrie und im offentlichen Leben heute zukornrnt, braucht an dieser Stelle nichts mehr gesagt werden. Sie spiegelt sich schon in dem Anwachsen der Mitgliederzahl der Gesellschaft fUr Informatik, in der Zunahme der Beteiligten an den Fach- und Jahrestagungen der GI und nicht zuletzt in der erfreulichen Vielfalt von Vortragsmeldungen fur diese Jahres- tagung wider. So hatte das Prograrnrnkomitee bestehend aus den Herren P. Deussen (Uni Karlsruhe), A. Endres (IBM Boblingen), G. Goos (Uni Karlsruhe), E. Heimbach (Siemens AG MUnchen), G. Kruger (Gesellschaft fUr Kernfor- schung Karlsruhe, Institut fUr Datenverarbeitung in der Technik) die schwierige Aufgabe, aus den vielen Vortragsmeldungen einen Querschnitt auszuwahlen, der sich in den vorgesehenen zeitlichen Rahmen der Jahres- tagung einpassen lieB. Das Spektrum der Vortage reicht von der Theorie bis zu Anwendungsfallen, von tibersichten bis hin zu Themen, die fur den Spezialisten bestirnrnt sind. Den derzeitigen Fragestellungen und BedUrfnissen der Informatik entsprechend behandeln die meisten Vortrage den Themenkreis Betriebs- systeme, ihm folgen Fragen der Rechnerstruktur, der Prograrnrniersysteme und der Informationssysteme, urn nur einige zu nennen. Die vorliegende Zusarnrnenstellung der Vortrage orientiert sich an der Reihenfolge, in der sie gehalten wurden.

Full Product Details

Author:   P. Deussen
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   78
Dimensions:   Width: 17.80cm , Height: 3.10cm , Length: 25.40cm
Weight:   1.119kg
ISBN:  

9783540061274

ISBN 10:   3540061274
Pages:   580
Publication Date:   29 January 1973
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.
Language:   German

Table of Contents

Hauptvortrage.- Computer System Architecture - A Philosophy of Design.- Informationssysteme.- Hardware-Architecture and Computer Organisation.- Methoden der syntaktischen Analyse bei formalen Sprachen.- Automaten- und Graphentheorie, Formale Sprachen.- Das Transitionsmonoid bei der Parallelkomposition von endlichen Automaten.- Klassifizierung von primitiv-rekursiven Transformationen und Automatentransduktionen.- Untersuchungen uber haltende Programme fur Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen.- An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph.- A Necessary and Sufficient Condition for Chomsky-Productions over Partially Ordered Symbol Sets.- Die Groesse des minimalen Analysators einer kontextfreien Grammatik.- Programmschemata mit booleschen Unterprogrammen.- Programmiersysteme.- A Hierarchy of Control Structures.- Mehrdeutige Entscheidungstabellen.- Design of a Generalized Audit Command Language (ACL).- Ein Programmiersystem zur problemnahen Erstellung adaptierter Software.- DIALIS - Ein einfaches Dialogsystem fur eine Listensprache.- Messung der Effizienz eines einfachen Incremental Compiler .- The Structures of the NCC SIMULA COMPILERS and Bench Mark Comparisons with Other Major Languages.- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 1.- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 2.- Betriebssysteme.- Verallgemeinerung -und Implementierung von Synchronisationsoperationen.- Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem.- UEbersetzung von Kommandosprachen.- Modularity of Non-Sequential Programs.- Classes of Optimal Schedules for Multiprocessor Systems.- Durchsatzoptimale Rechnerkern- und Transportkanalvergabe fur ein Rechnermodell mit 2 Arbeitsspeicherplatzen.- Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine.- Einplanung eines leistungsfahigen Software-Messsystemes bei der Entwicklung eines Betriebssystemes.- Analysis of Demand Paging Algorithms.- Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher.- Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen.- Modell eines Auftragssystems fur die Zeitdienstverwaltung eines Prozessrechners.- Auftragsverkehr uber einen generellen Auftragspuffer bei Prozessrechnersystemen.- Graphische Systeme.- Sprach- und Datenstruktur des Systems GRAPHIC.- Die Graphik-Software des TR 440.- FICHE-Software und COM-Programmierung.- Zentraleinheiten und Entwicklungsautomatisierung.- Das Problem der Assoziativspeicherdurchlaufzeit bei Paging- Verfahren im Zehn-Nanosekundenbereich.- Einige Untersuchungen zur Hardware-Realisierung von Software - Operatoren.- Performance Evaluation of Processor Design.- Zur Optimierung von Zuverlassigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose.- Realisierung des Streaming-Konzepts.- Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern.- Experimentiersystem fur ein technisches Informatikpraktikum.- Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten.- Interaktiver Einsatz von Sichtgeraten beim rechnerunterstutzten Entwurf von Grossrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG.- Die Grundlagen des Programms ATEDIS.- Informationssysteme.- NEOS - Ein Ansatz zur Loesung einiger offener Probleme bei der Kozeption von Datenbanksystemen.- Verfahren zur Sicherung und Wiederherstellung von Datenbestanden.- Juristisches Informationssystem: Eine Fallstudie fur ein Informationssystem grossen Umfangs.- Das Pflegeproblem bei Information-Retrieval-Systeinen.- Formalisieren von Inhalt naturlicher Sprachen durch Deutervalenzen und Deuterkriterien.- Wortstamm-Retrieval in TELDOK 440.- Dynamische Dokumentenraume.- BIBLIS - Ein Bibliotheks-, Informations- und Verwaltungssystem.- Prozessinformatik.- Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozessuberwachung.- KOSE - Eine Dialogsprache fur Prozessrechner.- InformationsdarStellung auf Sichtgeraten.- Der Grossrechner als Hilfsmittel beim Erstellen und Testen lauffahiger Programme fur Prozessrechner.- Die Prozessprogrammiersprache PEARL - Systembeschreibung und E/A-Konzept.- Das Task- und Timing-Konzept von PEARL.- Adressen der Autoren.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions