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

On covers and precedence analysis....Pages 1-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 Controllability-observaility type duality relations of finite-state machines....Pages 47-59 On the problem of automata set representation....Pages 60-69 On oriented hypergraphs and on dynamics of some discrete systems....Pages 70-70 Optimale Algorithmen zum Transponieren quadratischer Matrizen....Pages 71-80 Ein Test der Einbettbarkeit markierter Graphen unter Verwendung einer Hash-Codierung....Pages 81-91 Towards an automatic generation of interpreters....Pages 93-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 Eine Theorie der Semantik von Programmiersprachen....Pages 123-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 Kontext-sensitive Generierung beim Programmieren durch Auswählen....Pages 155-167 Zur Charakterisierung von Dialogsprachen....Pages 168-177 Modularität durch ‘Konzeptklassen’....Pages 178-185 L 0 , the basic layer of the wide spectrum language L....Pages 187-197 Gezielte Portabilität von Software....Pages 198-209 Entwurf und Realisierung des Lektor-Systems....Pages 210-218 Zur Modellierung von Prozessystemen....Pages 219-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 Ein Rechner mit der höheren Maschinensprache BASIC....Pages 251-260 Hierarchy of interpreters for modelling complex digital systems....Pages 261-269 Erzeugung von brauchbaren Testfolgen mit Boolescher Differenz und Testgraphen....Pages 270-279 Die Methode der ausgewogenen Abweicung; ein Hilfsmittel zur zielstrebigen Leistungsverbesserung von Rechensystemen....Pages 281-291 An interpretative performance monitor for time sharing system evaluation....Pages 292-293 Messung, Simulation und Berechung der Abhängigkeiten des Auftragsdurchsatzes....Pages 294-303 Vergleich zweier Warteschlangenmodelle für Realzeitrechnersysteme 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 Berocksichtigung der Programmstruktur....Pages 327-336 Resultatspezifizierende Handhabung von Datensystemen....Pages 337-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 Probleme bei der Signaldetektion mit einem Prozessrechner....Pages 383-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 Automatische Indexierung durch linguistische Syntaxanalyse....Pages 413-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 SIMWAP and TETRASIM — two examples of application oriented software, developed on the basis of the SIMULA language....Pages 443-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 Adressen der Autoren....Pages 485-488 Information systems....Pages 489-507 Appendix to the paper "hierarchy of interprecters for modelling complex digital systems" by R. Hartenstein....Pages 508-508