GI. Gesellschaft für Informatik e.V. 2. Jahrestagung

Karlsruhe, 2.–4. Oktober 1972

AvP. Deussen

Häftad, Tyska, 1973

Del 78 i serien Lecture Notes in Economics and Mathematical Systems

566 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1973-01-29
Mått:178 x 254 x 32 mm
Vikt:1 105 g
Format:Häftad
Språk:Tyska
Serie:Lecture Notes in Economics and Mathematical Systems
Antal sidor:580
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540061274

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Hauptvorträge.- 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 über haltende Programme für 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 Größe 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 für 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.- Übersetzung von Kommandosprachen.- Modularity of Non-Sequential Programs.- Classes of Optimal Schedules for Multiprocessor Systems.- Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für einRechnermodell mit 2 Arbeitsspeicherplätzen.- Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine.- Einplanung eines leistungsfähigen Software-Meßsystemes 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 für die Zeitdienstverwaltung eines Prozeßrechners.- Auftragsverkehr über einen generellen Auftragspuffer bei Prozeßrechnersystemen.- 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 Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose.- Realisierung des Streaming-Konzepts.- Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern.- Experimentiersystem für ein technisches Informatikpraktikum.- Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten.- Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Großrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG.- Die Grundlagen des Programms ATEDIS.- Informationssysteme.- NEOS — Ein Ansatz zur Lösung einiger offener Probleme bei der Kozeption von Datenbanksystemen.- Verfahren zur Sicherung und Wiederherstellung von Datenbeständen.- Juristisches Informationssystem: Eine Fallstudie für ein Informationssystemgroßen Umfangs.- Das „Pflegeproblem“ bei Information-Retrieval-Systeinen.- Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien.- Wortstamm-Retrieval in TELDOK 440.- Dynamische Dokumentenräume.- BIBLIS — Ein Bibliotheks-, Informations- und Verwaltungssystem.- Prozessinformatik.- Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozeßüberwachung.- KOSE — Eine Dialogsprache für Prozeßrechner.- InformationsdarStellung auf Sichtgeräten.- Der Großrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozeßrechner.- Die Prozeßprogrammiersprache PEARL — Systembeschreibung und E/A-Konzept.- Das Task- und Timing-Konzept von PEARL.- Adressen der Autoren.