GI - 5. Jahrestagung: Dortmund, 8.-10. Oktober 1975

ISBN-13: 9783540074106 / Niemiecki / Miękka / 1975 / 755 str.

J. Mhlbacher

Spis treści

Information systems: A survey by examples.- The problem of requirements analysis for information systems applications.- Speichertechnik und Rechnerarchitektur.- Mathematische Logik und Informatik.- L systems, sequences and languages.- Rechnernetzwerke — Möglichkeiten und Grenzen.- Belaestigung der Menschen durch Computer.- Bewertung von Dialogsystemen zum Dokumenten-Retrieval.- Ein Programmsystem zur Erfassung von Daten aus komplex strukturierten Tabellen.- Ein Dialogsystem zur Methodensuche.- Markierte Petrinetze und ? — Teilsysteme.- Introducing parallelism into sequential programs.- Well formed programs optimal with respect to structural complexity.- Merging control-flow and data-flow descriptions of structured systems in a unique notation.- The construction of types of abstract machines in SIMAC.- On the semantics of data bases: The semantics of data definition languages.- A system to increase data independence in a hierarchical structure.- Zugriffssynchronisation in Datenbanksystemen.- Problems of the change of operating time of finite automata.- Zur Konstruktion von Decodierautomaten.- Zwei - Zähler - Automaten mit gekoppelten Bewegungen.- Darstellung der Kategorie der determinierten Automaten als algebraische Kategorie.- Experience of a departmental computer support network.- Laborautomatisierung und Experimentkontrolle in einem hierarchisch strukturierten Computerverbund.- Schnelle digitale Komponenten für grafische Sichtgeräte.- Zur Strukturierung mehrstufiger Mustererkennungssysteme.- Sysfap - an integrated system for application programs and data base management.- Automatische Analyse und Prüfung von Eingabedaten.- Implementierung von Zugriffspfaden durch Bitlisten.- Kombination von sackgassenfreier Topdown- und Bottomup-Syntaxanalyse.- Generierung kontextsensitiver Sprachen durch hyperbeschränkte zweischichtige Grammatiken mit einem Metazeichen.- Allgemeine ?-Grammatiken.- Dynamische Speicherverwaltung durch Hardware.- Neue strukturierte Sprachkonzepte zur Prozessynchronisation.- Auswertungsnetze als Hilfsmittel zur Modellbildung — Probleme und deren Lösungen.- Eine statistische Analyse der statischen Eigenschaften von PL/I-Programmen.- Pattern matching and call by pattern.- On the design of programming languages including mini algol 68.- Asynchrone Schaltwerksimulation mit Ssm, einer Simulationssprache für Schaltwerke mittels mehrwertiger Logik.- Polynomial separation of ternary functions.- Universelle Klassen O(log(MxN))-testbarer iterativer und sequentieller Schaltungen.- A model of a time-sharing system with two classes of processes.- Zur optimalen Steuerung des Multiprogramminggrades in Rechnersystemen mit virtuellem Speicher und Paging.- Ein zeitdiskretes Wartesystem mit unterbrechenden Prioritaeten.- Ein modernes Netzwerkanalyseprogramm als begleitendes simuliertes Labor zu elektrotechnischen Vorlesungen.- ALTID, eine Sprache für Lehr- und Informationsdialoge.- Entwurf und Einsatz eines portablen RGU-Systems fuer die Lernersteuerung: LEGIS.- SLS/1 : A translator writing system.- An abstract ALGOL 68 machine and its application in a machine independent compiler.- Verschränkung von Compiler-Moduln.- First order logic as a tool to solve and classify problems.- On evaluating recursion.- Analogy categories, virtual machines, and structured programming.- Kritischer Vergleich von Algorithmen für ein Scheduling-Problem.- Performances of "least reference probability" paging algorithm under locality in program behavior.- The logic of protection.