GI, Gesellschaft für Informatik e. V. : 2. Jahrestagung, Karlsruhe, 2.-4. Oktober 1972
著者
書誌事項
GI, Gesellschaft für Informatik e. V. : 2. Jahrestagung, Karlsruhe, 2.-4. Oktober 1972
（Lecture notes in economics and mathematical systems, v. 78）
Springer-Verlag, 1973
- : gw
- : us
- タイトル別名
-
GI : 2. Jahrestagung : proceedings 1972
大学図書館所蔵 件 / 全41件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
目次
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.
「Nielsen BookData」 より
