Acta Informatica, Volume 7

Volume 7, 1976

R. Zuczek: A New Approach to Parallel Computing. 1-13
Leslie Lamport: The Synchronization of Independent Processes. 15-34
Erol Gelenbe, Richard R. Muntz: Probabilistic Models of Computer Systems - Part I (Exact Results). 35-60
Ole Lehrmann Madsen, Bent Bruun Kristensen: LR-Parsing of Extended Context Free Grammars. 61-73
Hermann K.-G. Walter: Grammarforms and Grammarhomomorphisms. 75-93
Claus-Peter Schnorr: The Network Complexity and the Turing Machine Complexity of Finite Functions. 95-107
Donald P. Gaver, George Humfeld: Multitype Multiprogramming Models. 111-121
Erol Gelenbe, Guy Pujolle: The Behaviour of a Single-Queue in a General Queueing Network. 123-136
Thomas Giammo: Validation of a Computer Performance Model of the Exponential Queuing Network Family. 137-152
Carl E. Landwehr: An Endogenous Priority Model for Load Control in Combined Batch-Interactive Computer Systems. 153-166
Jeffrey P. Buzen: Fundamental Operational Laws of Computer System Performance. 167-182
Jacques Labetoulle, Guy Pujolle: A Study of Queueing Networks with Deterministic Service and Application to Computer Networks. 183-195
Peter J. Denning, Kevin C. Kahn, Jacques Leroudier, Dominique Potier, Rajan Suri: Optimal Multiprogramming. 197-216
Jeffrey R. Spirn: Multi-Queue Scheduling of Two Tasks. 217-226
Peter D. Welch: On the Self Contained Modelling of DB/DC Systems. 227-247

David Pager: A Practical General Method for Constructing LR(k) Parsers. 249-268
Walter Kern: Speicheroptimale Formelübersetzung. 269-287
Arnold L. Rosenberg, Larry J. Stockmeyer: Storage Schemes for Boundedly Extendible Arrays. 289-303
John B. Kam, Jeffrey D. Ullman: Monotone Data Flow Analysis Frameworks. 305-317
Robert E. Shostak: On the Role of Unification in Mechanical Theorem Proving. 319-323
Peter E. Lauer, Roy H. Campbell: Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. 325 ->Acta Informatika 5: 297-332 (1975)
Robert Sedgewick: The Analysis of Quicksort Programs. 327-355
Tomasz Kowaltowski: Axiomatic Approach to Side Effects and General Jumps. 357-360
Donal T. MacVeigh: Effect of Data Representation on Cost of Sparse Matrix Operations. 361-394
A. A. Schönhage: Schnelle Multiplikation von Polynomen über Körpern der Charakteristik 2. 395-398
Jean-François Perrot: Monoïdes syntactiques des langages algébriques. 399-413