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=J. ACM AND Volume=34
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Intersection of convex objects in two and three dimensions
B. Chazelle
,
D.P. Dobkin
Journal of the ACM
34
(1), 1987, pp. 1-27
Dynamic functional dependencies and database aging
V. Vianu
Journal of the ACM
34
(1), 1987, pp. 28-59
Logarithmic time sort for linear size networks
J.H. Reif
,
L.G. Valiant
Journal of the ACM
34
(1), 1987, pp. 60-76
On the minimal synchronism needed for distributed consensus
D. Dolev
,
C. Dwork
,
L. Stockmeyer
Journal of the ACM
34
(1), 1987, pp. 77-97
Electing a leader in a synchronous ring
G.N. Frederickson
,
N.A. Lynch
Journal of the ACM
34
(1), 1987, pp. 98-115
How to share memory in a distributed system
E. Upfal
,
A. Wigderson
Journal of the ACM
34
(1), 1987, pp. 116-127
On the Church-Rosser property for the direct sum of term rewriting systems
Y. Toyama
Journal of the ACM
34
(1), 1987, pp. 128-143
Using dual approximation algorithms for scheduling problems: Theoretical and practical results
D.S. Hochbaum
,
D.B. Shmoys
Journal of the ACM
34
(1), 1987, pp. 144-162
Simultaneous WRITES of parallel random access machines do not help to compute simple arithmetic functions
R. Reischuk
Journal of the ACM
34
(1), 1987, pp. 163-178
Analysis of a composite performance reliability measure for fault-tolerant systems
L. Donatiello
,
B.R. Iyer
Journal of the ACM
34
(1), 1987, pp. 179-199
Slowing down sorting networks to obtain faster sorting algorithms
R. Cole
Journal of the ACM
34
(1), 1987, pp. 200-208
Hard examples for resolution
A. Urquhart
Journal of the ACM
34
(1), 1987, pp. 209-219
Inference with path resolution and semantic graphs
Neil V. Murray
,
Erik Rosenthal
Journal of the ACM
34
(2), 1987, pp. 225-254
Recognizing planar perfect graphs
Wen-Lian Hsu
Journal of the ACM
34
(2), 1987, pp. 255-288
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels
Albert G. Greenberg
,
Philippe Flajolet
,
Richard E. Ladner
Journal of the ACM
34
(2), 1987, pp. 289-325
Optimal reconfiguration strategy for a degradable multimodule computing system
Yann-Hang Lee
,
Kang G. Shin
Journal of the ACM
34
(2), 1987, pp. 326-348
Answering queries on embedded-complete database schemes
Edward P.F. Chan
,
Alberto O. Mendelzon
Journal of the ACM
34
(2), 1987, pp. 349-375
Associative table lookup processing for multioperand residue arithmetic
Christos A. Papachristou
Journal of the ACM
34
(2), 1987, pp. 376-396
Linear probing with a nonuniform address distribution
Georg Ch. Pflug
,
Hans W. Kessler
Journal of the ACM
34
(2), 1987, pp. 397-410
A model for distributed systems based on graph rewriting
Pierpaolo Degano
,
Ugo Montanari
Journal of the ACM
34
(2), 1987, pp. 411-449
Concurrent dynamic logic
David Peleg
Journal of the ACM
34
(2), 1987, pp. 450-479
Minimal degrees for polynomial reducibilities
Steven Homer
Journal of the ACM
34
(2), 1987, pp. 480-491
Decidability of the purely existential fragment of the theory of term algebras
K.N. Venkataraman
Journal of the ACM
34
(2), 1987, pp. 492-510
An
O(n^3\log n)
deterministic and an
O(n^3)
Las Vegas isomorphism test for trivalent graphs
Zvi Galil
,
Christoph M. Hoffmann
,
Eugene M. Luks
,
Claus P. Schnorr
,
Andreas Weber
Journal of the ACM
34
(3), 1987, July, pp. 513-531
An efficient algorithm for the ``optimal'' stable marriage
Robert W. Irving
,
Paul Leather
,
Dan Gusfield
Journal of the ACM
34
(3), 1987, July, pp. 532-543
Seiten 1
2
>