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: Author="Miller, R.E."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Solving systems of difference constraints incrementally
G. Ramalingam
,
J. Song
,
L. Joskowicz
,
R.E. Miller
Algorithmica
23
(3), 1999, pp. 261-275
Homomorphisms between models of parallel computation
T. Kasai
,
R.E. Miller
Journal of Computer and System Sciences
25
(3), 1982, December, pp. 285-331
On formulating simultaneity for studying parallelism and synchronization
R.E. Miller
,
C.K. Yap
Journal of Computer and System Sciences
20
(2), 1980, April, pp. 203-218
Implicit computation of synchronization primitives
R.A. DeMillo
,
R.E. Miller
Information Processing Letters
9
(1), 1979, July, pp. 35-38
Optimal 2,3-trees
R.E. Miller
,
N. Pippenger
,
A.L. Rosenberg
,
L. Snyder
SIAM Journal on Computing
8
(1), 1979, February, pp. 42-59
A batching method for coloring planar graphs
R.J. Lipton
,
R.E. Miller
Information Processing Letters
7
(4), 1978, June, pp. 185-188
On formulating simultaneity for studying parallelism and synchronization
R.E. Miller
,
C.K. Yap
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, STOC'78 (San Diego, CA, May 1-3, 1978)
, 1978, pp. 105-113
Synchronization and computing capabilities of linear asynchronous structures
R.J. Lipton
,
R.E. Miller
,
L. Snyder
Journal of Computer and System Sciences
14
(1), 1977, February, pp. 49-72
Insertion of parallel program schemata
W.A. Brinsfield
,
R.E. Miller
Proceedings of the 7th Ann. Princeton Conf. Information Sciences and Systems (Princeton, NJ)
, 1973
Efficiency of equivalence algorithms
Michael J. Fischer
Proceedings of the Workshop on Complexity of Computations (Yorktown Heights, 1972)
, 1972, pp. 153-167
Rapid identification of repeated patterns in strings, trees, and arrays
R.M. Karp
,
R.E. Miller
,
A.L. Rosenberg
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, STOC'72 (Denver, CO, May 1-3, 1972)
, 1972, pp. 125-136
Reducibility among combinatorial problems
Richard M. Karp
Proceedings of the Workshop on Complexity of Computations (Yorktown Heights, 1972)
, 1972, pp. 85-103
Some undecidability results for parallel program schemata
R.E. Miller
SIAM Journal on Computing
1
, 1972, pp. 119-130
A generalization of the theory of incompletely specified machines
D.E. Muller
,
R.E. Miller
Journal of Computer and System Sciences
6
, 1972, pp. 419-447
On the composition of parallel program schemata
W.A. Brinsfield
,
R.E. Miller
Proceedings of the 12th Ann. IEEE Symp. on Switching and Automata Theory, E. Lansing, MI
, 1971, pp. 20-23
Parallel program schemata
R.M. Karp
,
R.E. Miller
Journal of Computer and System Sciences
3
, 1969, pp. 147-195
The organization of computations for uniform recurrence equations
R.M. Karp
,
R.E. Miller
,
S. Winograd
Journal of the ACM
14
(3), 1967, July, pp. 563-590
Parallel program schemata: a mathematical model for parallel computations
R.M. Karp
,
R.E. Miller
Proceedings of the 8th IEEE Ann. Symp. on Switching and Automata Theory
, 1967
Index register allocation
L.P. Horwitz
,
R.M. Karp
,
R.E. Miller
,
S. Winograd
Journal of the ACM
13
, 1966, pp. 43-61