Acta Informatica, Volume 7

Volume 7, 1976

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

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