Inhalt
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.
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.
Titel
GI. Gesellschaft für Informatik e.V. 2. Jahrestagung
Untertitel
Karlsruhe, 2.4. Oktober 1972
Editor
EAN
9783642807329
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
08.03.2013
Digitaler Kopierschutz
Wasserzeichen
Anzahl Seiten
580
Auflage
1973
Lesemotiv
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.