GI - 4. Jahrestagung

Berlin, 9.-12. Oktober 1974
Herausgegeben:Siefkes, D.

• Broschiertes Buch

Produktdetails

• Lecture Notes in Computer Science 26
• Verlag: Springer, Berlin
• 1975.
• Seitenzahl: 752
• Deutsch, Englisch
• Abmessung: 234mm x 156mm
• Gewicht: 1052g
• ISBN-13: 9783540071419
• ISBN-10: 3540071415
• Artikelnr.: 23112597

Inhaltsangabe

'On the structure of feasible computations.- Toward a methodology for designing large systems and verifying their properties.- Datenschutz und Gesellschaft.- Trends in computer science education.- How to teach computer science to students who don't like science.- The solution of problems relative to probabilistic automata in the frame of the formal languages theory.- Eine Charakterisierung der Szilardsprachen und ihre Verwendung als Steuersprachen.- Comparing several ways of context-independent parallel rewriting.- Das Problem der 'unendlichen Modi' in ALGOL 68.- The D-calculus: A system to describe the semantics of programs involving complex data types.- Effizienzvergleiche von Bewetsprozeduren.- Drei Komplexitätsmasse zweistufiger Normalformen Boolescher Funktionen.- Zwei BASIC - Systeme von unterschiedlicher struktur - Ein vergleich ihrer benutzerfreundlichkeit und effizienz.- Speicherzuordnung an datenstrukturen.- Syntax-directed description of incremental compilers.- Plan2D - towards a two-dimensional programming language.- On a SLR(k)-based parser system which accepts Non-LR(k)grammars.- A binary control structure and its relationship to grammars and side effects.- A technique for parsing ambiguous languages.- Optimization of generated code by means of attributes : Local elimination of common redundant sub-expressions.- Code-Optimierung mittels attributierter Transformationsgrammatiken.- Die dynamische Datenbasis des HALORD Systems.- Semantische Aspekte der Programmoptimierung.- Deadlock conditions in well structured modular systems.- Über Die Lebensdauer Von Prozessen In Nichtsequentiellen Algorthmen.- Modularer Aufbau einer Familie von kooperierenden Prozessen.- Vermeidung von Verklemmungen in bewerteten Petrinetzen.- P-T-Netze zur numerischen Simulation von asynchronen Fluessen.- Elementare Steuerknoten in Datenflußmodellen.- E-V-Schemata Ein Ansatz zur formalen Behandlung paralleler Prozesse.- Zur Theorie unendlicher Parallelprozessoren.- Fail-softness criteria in the realization of a minicomputer disk operating system to be used in an "open-shop" university environment.- Operating systems with characteristics of portability for minicomputers.- Trace driven studies of deadlock control and job scheduling.- Zur Leistungsbewertung von Multiprozessor-Strukturen.- Memory and processor utilization in safe states.- Virtuelle Maschinen in einem allgemeinen Time-Sharing-Betriebssystem.- Ein Kommunikationsbetriebssystem für ein sternförmiges Rechnernetz.- On classification schemes for computer systems in the Post-Von-Neumann-Era.- Micro-programming measurement techniques for the Burroughs B1700.- Über die Wirksamkeit zyklischer Abfertigungsstrategien in Realzeitsystemen.- Probleme der elektronischen Rechtsdokumentation - dargestellt am Beispiel der Steuerrechtsdatenbank der DATEV e G.- Entwurf eines Datenbanksystems für normierte Kennwerte von Eisen- und Stahlwerkstoffen.- Aspects of generality and efficiency in programming language implementation.- Zum Problem der Anonymität der Befragten bei statistischen Datenbanken mit Dialogauswertung.- Zugriffssicherung in Datenbanksystemen.- A query language for a relational data base.- Konzept des Objektbeschreibungsbaums als Grundstruktur eines graphenorientierten Datenbankmodells.- Beitrag zur Spezifikation der Funktion von generalisierten Datenbankmanagementsystemen.- A structured database.- The partitioning of a data base into subfiles matching user's queries.- A note on advanced software techniques in computer graphics.- Die Definition generalisierter, graphischer Eingabegeräte.- Pattern recognition of virus induced cell changes.- Ein Programmsystem zur interaktiven Triangulierung zweidimensionaler Gebiete in der Methode der finiten Elemente.- Giulia - Ein System Zum Verarbeiten analytisch gegebener Flächen.- Die Anwendung der B-Spline-Approximation in Computer Graphics.- Ein benutze