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 YEAR=1976
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A new approach to parallel computing
R. Zuczek
Acta Informatica
7
(1), 1976, pp. 1-13
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
Algorithms minimizing mean flow time: Schedule-length properties
E.G., Jr. Coffman
,
Ravi Sethi
Acta Informatica
6
, 1976, pp. 1-14
Specification and proving of command programs
E.J. Neuhold
,
T. Weller
Acta Informatica
6
, 1976, pp. 15-40
A system which automatically improves programs
J. Darlington
,
R.M. Burstall
Acta Informatica
6
, 1976, pp. 41-60
Axiomatics for memory allocation
A.P. Ershov
Acta Informatica
6
, 1976, pp. 61-75
Hierarchies of complete problems
Zvi Galil
Acta Informatica
6
, 1976, pp. 77-88
Inherently nonplanar automata
Ronald V. Book
,
Ashok K. Chandra
Acta Informatica
6
, 1976, pp. 89-94
Transformational methods and their application to complexity problems
Burkhard Monien
Acta Informatica
6
, 1976, pp. 95-108
SEMANOL (73). A metalanguage for programming the semantics of programming languages
E.R. Anderson
,
F.C. Belz
,
E.K. Blum
Acta Informatica
6
, 1976, pp. 109-131
Affine relationships among variables of a program
Michael Karr
Acta Informatica
6
, 1976, pp. 133-151
Another polynomial homomorphism
Robert T. Moenck
Acta Informatica
6
, 1976, pp. 153-169
Edge-disjoint spanning trees and depth-first search
Robert Endre Tarjan
Acta Informatica
6
, 1976, pp. 171-185
Seiten 1
2
>