Buch, Englisch, Deutsch, Band 1, 508 Seiten, Book, Format (B × H): 155 mm x 235 mm, Gewicht: 1600 g
Gesellschaft für Informatik e.V. 3. Jahrestagung Hamburg, 8.-10. Oktober 1973. Proceedings
Buch, Englisch, Deutsch, Band 1, 508 Seiten, Book, Format (B × H): 155 mm x 235 mm, Gewicht: 1600 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-06473-2
Verlag: Springer Berlin Heidelberg
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
On covers and precedence analysis.- Computer architecture comments on the state-of-the art.- A survey of mathematical results in flow-time scheduling for computer systems.- Controllability-observaility type duality relations of finite-state machines.- On the problem of automata set representation.- On oriented hypergraphs and on dynamics of some discrete systems.- Optimale Algorithmen zum Transponieren quadratischer Matrizen.- Ein Test der Einbettbarkeit markierter Graphen unter Verwendung einer Hash-Codierung.- Towards an automatic generation of interpreters.- Improvements to Earley's context-free parser.- The Boolean closures of the deterministic and nondeterministic context-free languages.- Eine Theorie der Semantik von Programmiersprachen.- Induction principles for context-free languages.- About the completeness of APL.- Main degrees of complexity of computer programs and computable functions.- Kontext-sensitive Generierung beim Programmieren durch Auswählen.- Zur Charakterisierung von Dialogsprachen.- Modularität durch ‘Konzeptklassen’.- L0, the basic layer of the wide spectrum language L.- Gezielte Portabilität von Software.- Entwurf und Realisierung des Lektor-Systems.- Zur Modellierung von Prozessystemen.- Dynamische Betriebsmittelverwaltung und Verklemmungsvermeidung in geschichteten Prozeßsystemen.- Variable Sequentialisierungsstrukturen und deren hardwareunterstuetzte Realisierung.- Optimale Zerlegung von Computerprogrammen durch Zerlegung von Graphen.- Systemic aspects of musical activity.- Ein Rechner mit der höheren Maschinensprache BASIC.- Hierarchy of interpreters for modelling complex digital systems.- Erzeugung von brauchbaren Testfolgen mit Boolescher Differenz und Testgraphen.- Die Methode der ausgewogenen Abweicung; ein Hilfsmittel zur zielstrebigen Leistungsverbesserung von Rechensystemen.- An interpretative performance monitor for time sharing system evaluation.- Messung, Simulation und Berechung der Abhängigkeiten des Auftragsdurchsatzes.- Vergleich zweier Warteschlangenmodelle für Realzeitrechnersysteme mit interrupt- bzw. takt-gesteuerter Übernahme von Anforderungen aus der Peripherie.- Modell für den Befehlsablauf in einer Rechenanlage: Eine Serverkette mit vorgebbarer Varianz der Belegungsdauern.- Optimale Nachladestrategien unter Berocksichtigung der Programmstruktur.- Resultatspezifizierende Handhabung von Datensystemen.- Gibt es ein Alternativkonzept zu den Datenbanktechniken der Data Base Task Group (CODASYL)?.- Reduction of retrieval costs for on-line retrieval systems.- Datenstrukturen und Q-Systeme — eine mathematische Studie.- Lose Kopplung in Informationssystemen.- Probleme bei der Signaldetektion mit einem Prozessrechner.- Verfahren zur Nachrichtenreduktion bei der Systemsicherung mit Prozeßrechnern.- Die Anwendung des Prinzips der Mikroprogrammierung auf das Ein-/Ausgabesystem eines Prozessrechnerorganisationsprogramms.- Automatische Indexierung durch linguistische Syntaxanalyse.- Linguistische Algorithmen zur Deflexion als Mittel zum automatischen Indexieren im Deutschen.- Kompetenz- oder Performanzmodellierung? Einige psycholinguistische Vorüberlegungen zur Konstruktion von Dialogsystemen und -sprachen.- SIMWAP and TETRASIM — two examples of application oriented software, developed on the basis of the SIMULA language.- Darstellungsverfahren für das computerunterstützte Konstruieren.- Eine Wortsprache zur Beschreibung technischer Objekte.- Verfahren zur Simulation sozioökonomischer Systeme.- Adressen der Autoren.- Information systems.- Appendix to the paper "hierarchy of interprecters for modelling complex digital systems" by R. Hartenstein.
On covers and precedence analysis.- Computer architecture comments on the state-of-the art.- A survey of mathematical results in flow-time scheduling for computer systems.- Controllability-observaility type duality relations of finite-state machines.- On the problem of automata set representation.- On oriented hypergraphs and on dynamics of some discrete systems.- Optimale Algorithmen zum Transponieren quadratischer Matrizen.- Ein Test der Einbettbarkeit markierter Graphen unter Verwendung einer Hash-Codierung.- Towards an automatic generation of interpreters.- Improvements to Earley's context-free parser.- The Boolean closures of the deterministic and nondeterministic context-free languages.- Eine Theorie der Semantik von Programmiersprachen.- Induction principles for context-free languages.- About the completeness of APL.- Main degrees of complexity of computer programs and computable functions.- Kontext-sensitive Generierung beim Programmieren durch Auswählen.- Zur Charakterisierung von Dialogsprachen.- Modularität durch ‘Konzeptklassen’.- L0, the basic layer of the wide spectrum language L.- Gezielte Portabilität von Software.- Entwurf und Realisierung des Lektor-Systems.- Zur Modellierung von Prozessystemen.- Dynamische Betriebsmittelverwaltung und Verklemmungsvermeidung in geschichteten Prozeßsystemen.- Variable Sequentialisierungsstrukturen und deren hardwareunterstuetzte Realisierung.- Optimale Zerlegung von Computerprogrammen durch Zerlegung von Graphen.- Systemic aspects of musical activity.- Ein Rechner mit der höheren Maschinensprache BASIC.- Hierarchy of interpreters for modelling complex digital systems.- Erzeugung von brauchbaren Testfolgen mit Boolescher Differenz und Testgraphen.- Die Methode der ausgewogenen Abweicung; ein Hilfsmittel zur zielstrebigen Leistungsverbesserung von Rechensystemen.- An interpretative performance monitor for time sharing system evaluation.- Messung, Simulation und Berechung der Abhängigkeiten des Auftragsdurchsatzes.- Vergleich zweier Warteschlangenmodelle für Realzeitrechnersysteme mit interrupt- bzw. takt-gesteuerter Übernahme von Anforderungen aus der Peripherie.- Modell für den Befehlsablauf in einer Rechenanlage: Eine Serverkette mit vorgebbarer Varianz der Belegungsdauern.- Optimale Nachladestrategien unter Berocksichtigung der Programmstruktur.- Resultatspezifizierende Handhabung von Datensystemen.- Gibt es ein Alternativkonzept zu den Datenbanktechniken der Data Base Task Group (CODASYL)?.- Reduction of retrieval costs for on-line retrieval systems.- Datenstrukturen und Q-Systeme — eine mathematische Studie.- Lose Kopplung in Informationssystemen.- Probleme bei der Signaldetektion mit einem Prozessrechner.- Verfahren zur Nachrichtenreduktion bei der Systemsicherung mit Prozeßrechnern.- Die Anwendung des Prinzips der Mikroprogrammierung auf das Ein-/Ausgabesystem eines Prozessrechnerorganisationsprogramms.- Automatische Indexierung durch linguistische Syntaxanalyse.- Linguistische Algorithmen zur Deflexion als Mittel zum automatischen Indexieren im Deutschen.- Kompetenz- oder Performanzmodellierung? Einige psycholinguistische Vorüberlegungen zur Konstruktion von Dialogsystemen und -sprachen.- SIMWAP and TETRASIM — two examples of application oriented software, developed on the basis of the SIMULA language.- Darstellungsverfahren für das computerunterstützte Konstruieren.- Eine Wortsprache zur Beschreibung technischer Objekte.- Verfahren zur Simulation sozioökonomischer Systeme.- Adressen der Autoren.- Information systems.- Appendix to the paper "hierarchy of interprecters for modelling complex digital systems" by R. Hartenstein.
