GI Gesellschaft für Informatik e. V.: 3. Jahrestagung Hamburg, 8.–10. Oktober 1973

Front Matter....Pages I-XI
Front Matter....Pages 1-1
On Covers and Precedence Analysis....Pages 2-17
Computer Architecture Comments on the State-of-the Art....Pages 18-24
A Survey of Mathematical Results in Flow-Time Scheduling for Computer Systems....Pages 25-46
Front Matter....Pages 47-47
Controllability-Observability Type Duality Relations of Finite-State Machines....Pages 48-59
On the Problem of Automata Set Representation....Pages 60-69
On oriented hypergraphs and on dynamics of some discrete systems....Pages 70-70
Front Matter....Pages 71-71
Optimale Algorithmen zum Transponieren Quadratischer Matrizen....Pages 72-80
Ein Test der Einbettbarkeit Markierter Graphen Unter Verwendung Einer Hash-Codierung....Pages 81-91
Front Matter....Pages 93-93
Towards an Automatic Generation of Interpreters....Pages 94-103
Improvements to Earley’s Context-Free Parser....Pages 104-112
The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languages....Pages 113-121
Front Matter....Pages 123-123
Eine Theorie der Semantik von Programmiersprachen....Pages 124-133
Induction Principles for Context-Free Languages....Pages 134-143
About the Completeness of APL....Pages 144-150
Main Degrees of Complexity of Computer Programs and Computable Functions....Pages 151-153
Front Matter....Pages 155-155
Kontext-Sensitive Generierung Beim Programmieren Durch Auswählen....Pages 156-167
Zur Charakterisierung von Dialogsprachen....Pages 168-177
Modularität Durch ‚Konzeptklassen‘....Pages 178-185
Front Matter....Pages 187-187
L o , The Basic Layer of the Wide Spectrum Language L....Pages 188-197
Gezielte Portabilität von Software....Pages 198-209
Front Matter....Pages 187-187
Entwurf und Realisierung des Lektor-Systems....Pages 210-218
Front Matter....Pages 219-219
Zur Modellierung von Prozessystemen....Pages 220-224
Dynamische Betriebsmittelverwaltung und Verklemmungsvermeidung in geschichteten Prozeßsystemen....Pages 225-233
Variable Sequentialisierungsstrukturen und Deren Hardwareunterstuetzte Realisierung....Pages 234-235
Optimale Zerlegung von Computerprogrammen Durch Zerlegung von Graphen....Pages 236-245
Systemic Aspects of Musical Activity....Pages 246-250
Front Matter....Pages 251-251
Ein Rechner mit der höheren Maschinensprache BASIC....Pages 252-260
Hierarchy of Interpreters for Modelling Complex Digital Systems....Pages 261-269
Erzeugung von Brauchbaren Testfolgen mit Boolescher Differenz und Testgraphen....Pages 270-279
Front Matter....Pages 281-281
Die Methode der Ausgewogenen Abweichung; Ein Hilfsmittel zur Zielstrebigen Leistungsverbesserung von Rechensystemen....Pages 282-291
An Interpretative Performance Monitor for Time Sharing System Evaluation....Pages 292-293
Messung, Simulation und Berechnung der Abhängigkeiten des Auftragsdurchsatzes....Pages 294-303
Vergleich Zweier Warteschlangenmodelle für Realzeit-Rechnersysteme mit Interrupt- bzw. Takt-Gesteuerter Übernahme von Anforderungen aus der Peripherie....Pages 304-313
Modell für den Befehlsablauf in Einer Rechenanlage: Eine Serverkette mit Vorgebbarer Varianz der Belegungsdauern....Pages 314-326
Optimale Nachladestrategien Unter Berücksichtigung der Programmstruktur....Pages 327-336
Front Matter....Pages 337-337
Resultatspezifizierende Handhabung von Datensystemen....Pages 338-347
Gibt es ein Alternativkonzept zu den Datenbanktechniken der Data Base Task Group (CODASYL)?....Pages 348-356
Reduction of Retrieval Costs for on-line Retrieval Systems....Pages 357-362
Datenstrukturen und Q-Systeme — Eine Mathematische Studie....Pages 363-371
Lose Kopplung in Informationssystemen....Pages 372-381
Front Matter....Pages 383-383
Probleme bei der Signaldetektion mit Einem Prozessrechner....Pages 384-393
Verfahren zur Nachrichtenreduktion bei der Systemsicherung mit Prozeßrechnern....Pages 394-404
Die Anwendung des Prinzips der Mikroprogrammierung auf das Ein-/Ausgabesystem Eines Prozessrechnerorganisationsprogramms....Pages 405-412
Front Matter....Pages 413-413
Automatische Indexierung Durch Linguistische Syntaxanalyse....Pages 414-420
Linguistische Algorithmen zur Deflexion als Mittel zum Automatischen Indexieren im Deutschen....Pages 421-430
Kompetenz- oder Performanzmodellierung? Einige Psycholinguistische Vorüberlegungen zur Konstruktion von Dialogsystemen und -Sprachen....Pages 431-441
Front Matter....Pages 443-443
Simwap and Tetrasim — Two Examples of Application Oriented Software, Developed on the Basis of the Simula Language....Pages 444-454
Darstellungsverfahren für das Computerunterstützte Konstruieren....Pages 455-464
Eine Wortsprache zur Beschreibung Technischer Objekte....Pages 465-473
Verfahren zur Simulation Sozioökonomischer Systeme....Pages 474-484
Back Matter....Pages 485-509