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=24
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Order and metric in the stream semantics of elemental concurrency
J.W. de Bakker
,
J.-J.C. Meyer
Acta Informatica
24
(5), 1987, pp. 491-511
Minimizing mean flow-time with parallel processors and resource constraints
J. BĘazewicz
,
W. Kubiak
,
H. Rock
,
J. Szwarcfiter
Acta Informatica
24
(5), 1987, pp. 513-524
Performance evaluation of fork and join synchronization primitives
A. Duda
,
T. Czachorski
Acta Informatica
24
(5), 1987, pp. 525-553
Worst case performance of weighted buddy systems
S.K. Chowdhury
,
P.K. Srimani
Acta Informatica
24
(5), 1987, pp. 555-564
Some techniques for geometric searching with implicit set representations
B. Chazelle
Acta Informatica
24
(5), 1987, pp. 565-582
Improving time and space efficiency in generalized binary search trees
W. Cunto
,
J.L. Gascon
Acta Informatica
24
(5), 1987, pp. 583-594
The derivation of systolic implementations of programs
Chua-Huang Huang
,
C. Lengauer
Acta Informatica
24
(6), 1987, pp. 595-632
Lifetime analysis for attributes
U. Kastens
Acta Informatica
24
(6), 1987, pp. 633-651
Combinator-based compilation of recursive functions with different parameter passing modes
M.J. Lao
Acta Informatica
24
(6), 1987, pp. 653-678
An efficient general iterative algorithm for dataflow analysis
S. Horwitz
,
A. Demers
,
T. Teitelbaum
Acta Informatica
24
(6), 1987, pp. 679-694
The expressive theory of stacks
S. Kamin
Acta Informatica
24
(6), 1987, pp. 695-709
Seiten
<
1
2