The Organization of Computations for Uniform Recurrence Equations
- Richard M. Karp
- Raymond E. Miller
- et al.
- 1967
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
13 results for Raymond E. Miller
Index Register Allocation
- L.P. Horwitz
- R.M. Karp
- et al.
- 1966
- Journal of the ACM
A Comparison of Some Theoretical Models of Parallel Computation
- Raymond E. Miller
- 1973
- IEEE TC
Rapid identification of repeated patterns in strings, trees and arrays
- Richard M. Karp
- Raymond E. Miller
- et al.
- 1972
- STOC 1972
A boundary between decidability and undecidability for parallel program schemata
- Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Comparing models of parallel computation by homomorphisms
- Raymond E. Miller
- Takumi Kasai
- 1979
- COMPSAC 1979
On formulating simultaneity for studying parallelism and synchronization
- Raymond E. Miller
- Chee K. Yap
- 1978
- STOC 1978
Synchronization and computing capabilities of linear asynchronous structures
- R.J. Lipton
- R.E. Miller
- et al.
- 1975
- FOCS 1975
Parallel program schemata: A mathematical model for parallel computation
- Richard M. Karp
- Raymond E. Miller
- 1967
- SWAT 1967
Some theorems for incompletely specified sequential machines with applications to state minimization
- J.C. Beatty
- R.E. Miller
- 1962
- SWCT 1962