Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Acta Inf. AND Volume=7
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A new approach to parallel computing
R. Zuczek
Acta Informatica
7
(1), 1976, pp. 1-13
The synchronisation of independent processes
Leslie Lamport
Acta Informatica
7
(1), 1976, August, pp. 15-34
Probabilistic models of computer systems. I. (exact results)
E. Gelenbe
,
R.R. Muntz
Acta Informatica
7
(1), 1976, pp. 35-60
LR-parsing of extended context free grammars
O.L. Madsen
,
B.B. Kristensen
Acta Informatica
7
(1), 1976, pp. 61-73
Grammarforms and grammarhomomorphisms
H.K.-G. Walter
Acta Informatica
7
(1), 1976, pp. 75-93
The network complexity and the Turing machine complexity of finite functions
C.P. Schnorr
Acta Informatica
7
(1), 1976, pp. 95-107
Multitype multiprogramming models
D.P. Gaver
,
G. Humfeld
Acta Informatica
7
(2), 1976, pp. 111-121
The behaviour of a single queue in a general queueing network
E. Gelenbe
,
G. Pujolle
Acta Informatica
7
(2), 1976, pp. 123-136
Validation of a computer performance model of the exponential queueing network family
T. Giammo
Acta Informatica
7
(2), 1976, pp. 137-152
An endogenous priority model for load control in combined batch-interactive computer systems
C.E. Landwehr
Acta Informatica
7
(2), 1976, pp. 153-166
Fundamental operational laws of computer system performance
J.P. Buzen
Acta Informatica
7
(2), 1976, pp. 167-182
A study of queueing networks with deterministic service and application to computer networks
J. Labetoulle
,
G. Pujolle
Acta Informatica
7
(2), 1976, pp. 183-195
Optimal multiprogramming
P.J. Denning
,
K.C. Kahn
,
J. Leroudier
,
D. Potier
,
R. Suri
Acta Informatica
7
(2), 1976, pp. 197-216
Multi-queue scheduling of two tasks
J.R. Spirn
Acta Informatica
7
(2), 1976, pp. 217-226
On the self contained modelling of DB/DC systems
P.D. Welch
Acta Informatica
7
(2), 1976, pp. 227-247
A practical general method for constructing LR(k) parsers
D. Pager
Acta Informatica
7
(3), 1977, pp. 249-268
Storage optimal formula translation
W. Kern
Acta Informatica
7
(3), 1977, pp. 269-287
Storage schemes for boundedly extendible arrays
A.L. Rosenberg
,
L.J. Stockmeyer
Acta Informatica
7
(3), 1977, pp. 289-303
Monotone data flow analysis frameworks
J.B. Kam
,
J.D. Ullman
Acta Informatica
7
(3), 1977, pp. 305-317
On the role of unification in mechanical theorem proving
R.E. Shostak
Acta Informatica
7
(3), 1977, pp. 319-323
The analysis of quicksort programs
R. Sedgewick
Acta Informatica
7
(4), 1977, pp. 327-355
Axiomatic approach to side effects and general jumps
T. Kowaltowski
Acta Informatica
7
(4), 1977, pp. 357-360
Effect of data representation on cost of sparse matrix operations
D.T. Macveigh
Acta Informatica
7
(4), 1977, pp. 361-394
Fast multiplication of polynomials over fields of characteristic 2
A. Schönhage
Acta Informatica
7
(4), 1977, pp. 395-398
Syntactic monoids of algebraic languages
J.-F. Perrot
Acta Informatica
7
(4), 1977, pp. 399-413