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
  

Volume 7, 1977

• 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, (see: 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
  

Last update Fri May 24 19:58:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page