![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
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 - 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 - Arnold 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.