default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. GI Jahrestagung 1972: Karlsruhe
- Peter Deussen:
Gesellschaft für Informatik e.V., 2. Jahrestagung, Karlsruhe, Deutschland, 2.-4. Oktober 1972. Lecture Notes in Economics and Mathematical Systems 78, Springer 1973, ISBN 3-540-06127-4
Hauptvorträge
- Robert S. Barton:
Computer System Architecture. 2-7 - Erich J. Neuhold:
Informationssysteme. 8-21 - Frank H. Sumner:
Hardware-Architecture and Computer Organisation. 22-36 - Jürgen Eickel:
Methoden der syntaktischen Analyse bei formalen Sprachen. 37-53
Automaten- und Graphentheorie, Formale Sprachen
- Klaus Ecker:
Das Transitionsmonoid bei der Parallelkomposition von Endlichen Automaten. 56-62 - Friedrich W. von Henke, Klaus Weihrauch:
Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen. 63-71 - B. Weimann, K. Casper, W. Fenzl:
Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen. 72-81 - Karl Dürre:
An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph. 82-89 - Hans Jürgen Schneider:
A Necessary and Sufficient Condition for Chomsky-Productions Over Partially Ordered Symbol Sets. 90-98 - Rainer Kemp:
Die Grösse des minimalen Analysators einer kontextfreien Grammatik. 99-106 - Klaus Indermark:
Programmschemata mit Booleschen Unterprogrammen. 107-115
Programmiersysteme
- Eberhard Wegner:
A Hierarchy of Control Structures. 118-124 - Gert Dathe:
Mehrdeutige Entscheidungstabellen. 125-132 - H. J. Will:
Design of a Generalized Audit Command Language (ACL). 133-142 - Walter Sonnenberg:
Ein Programmiersystem zur problemnahen Erstellung adaptierter Software. 143-149 - H. Rohlfing:
DIALIS - Ein einfaches Dialogsystem für eine Listensprache. 150-158 - Hans Albrecht Schmid, Bernd Nienaber:
Messung der Effizienz eines einfachen "Incremental Compiler". 159-168 - Sigurd Kubosch:
The Structures of the NCC Simula Compilers and Bench Mark Comparisons with other Major Languages. 169-178 - Cornelis H. A. Koster:
Error Reporting, Error Treatment, and Error Correction in Algol Translation - Part 1. 179-187 - B. Eggers:
Error Reporting, Error Treatment, and Error Correction in Algol Translation - Part 2. 188-195
Betriebssysteme
- R. Göller:
Verallgemeinerung und Implementierung von Synchronisations-Operationen. 198-207 - Klaus Lagally:
Aufruf von Systemleistungen in einem Schichtenweise gegliederten Betriebssystem. 208-213 - Th. Weller:
Übersetzung von Kommandosprachen. 214-222 - Klaus-Peter Löhr:
Modularity of Non-Sequential Programs. 223-232 - Sigram Schindler:
Classes of Optimal Schedules for Multiprocessor Systems. 233-242 - Hans-Jürgen Küspert:
Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für ein Rechnermodell mit zwei Arbeitsspeicherplätzen. 243-252 - G. Fleck, Jürgen Nehmer:
Simulation von Betriebs-Software auf einer Virtuellen PL/1-Maschine. 253-262 - E. F. Pantele:
Einplanung eines leistungsfähigen Software-Messystemes bei der Entwicklung eines Betriebssystemes. 263-273 - A. Palmboom:
Analysis of Demand Paging Algorithms. 274-283 - Klaus M. Schulz:
Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher. 284-291 - C. Kuck:
Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen. 292-301 - D. Hilse:
Modell eines Auftragssystems für die Zeitdienstverwaltung eines Prozessrechners. 302-311 - J. Bautz:
Auftragsverkehr über einen generellen Auftragspuffer bei Prozessrechnersystemen. 312-319
Graphische Systeme
- Richard Schuster, Günter Enderle, Klaus Leinemann, Ernst G. Schlechtendahl, H. Schnauder, Ulrich Schumann:
Sprach- und Datenstruktur des Systems GRAPHIC. 322-331 - H. Kääb:
Die Graphik-Software des TR 440. 332-340 - M. Schwarzhuber:
FICHE- Software und COM- Programmierung. 341-348
Zentraleinheiten und Entwicklungsautomatisierung
- Heinz Schecher:
Das Problem der Assoziativspeicherdurchlaufzeit bei Paging-Verfahren im Zehn-Nanosekundenbereich. 350-359 - Detlef Schmid:
Einige Untersuchungen zur Hardware-Realisierung von Software-Operatoren. 360-369 - L. J. Zeckendorf:
Performance Evaluation of Processor Design. 370-377 - Winfrid G. Schneeweiss:
Zur Optimierung von Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose. 378-386 - Wolfgang J. Paul:
Realisierung des Streaming-Konzepts. 387-394 - Alfred Bächle:
Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern. 395-405 - Reiner W. Hartenstein:
Experimentiersystem für ein technisches Informatikpraktikum. 406-413 - Klaus Jochen Grotz:
Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten. 414-423 - K. Horn:
Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Grossrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG. 424-431 - Klaus Pfeuffer:
Die Grundlagen des Programms ATEDIS. 432-439
Informationssysteme
- Eckhard D. Falkenberg:
Neos - Ein Ansatz zur Lösung einiger offener Probleme bei der Konzeption von Datenbanksystemen. 442-451 - D. F. Jung:
Verfahren zur Sicherung und Wiederherstellung von Datenbeständen. 452-463 - Friedrich Gebhardt, Peter C. Lockemann:
Juristisches Informationssystem: Eine Fallstudie für ein Informationssystem grossen Umfangs. 464-472 - J. Martin, Peter Schnupp:
Das "Pflegeproblem" bei Information-Retrieval-Systemen. 473-479 - Peter Kümmel:
Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien. 480-489 - D. L. Holmberg, Bernd S. Müller:
Wortstamm-Retrieval in TELDOK 440. 490-498 - E. Konrad:
Dynamische Dokumentenräume. 499-502 - Hans Jürgen Schneider, G. Siewert:
Biblis - Ein Bibliotheks-, Informations- und Verwaltungssystem. 503-512
Prozessinformatik
- H. Wildpaner:
Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozessüberwachung. 514-523 - M. Abel:
KOSE - Eine Dialogsprache für Prozessrechner. 524-532 - Christoph Benz:
Informationsdarstellung auf Sichtgeräten. 533-542 - B. Krüger:
Der Grossrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozessrechner. 543-551 - Bernd F. Eichenauer:
Die Prozessprogrammiersprache PEARL. 552-560 - Peter Rieder:
Das Task- und Timing- Konzept von PEARL. 561-570
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
