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