Raymond E. Miller

Available identifiers

zbMath Open miller.raymond-eWikidataQ64625069 ScholiaQ64625069MaRDI QIDQ808227

List of research outcomes

Publication	Date of Publication	Type
On formulating simultaneity for studying parallelism and synchronization	2014-03-14	Paper
Stabilization and pseudo-stabilization	1994-01-06	Paper
Specification and analysis of a data transfer protocol using systems of communicating machines	1991-01-01	Paper
Protocol analysis and synthesis by structured partitions	1986-01-01	Paper
Homomorphisms between models of parallel computation	1982-01-01	Paper
On formulating simultaneity for studying parallelism and synchronization	1980-01-01	Paper
On computing distances between leaves in a complete tree	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3908956	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190122	1979-01-01	Paper
Optimal 2,3-Trees	1979-01-01	Paper
Optimal 2,3-Trees	1979-01-01	Paper
A batching method for coloring planar graphs	1978-01-01	Paper
Synchronization and computing capabilities of linear asynchronous structures	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4195962	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4146242	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053115	1974-01-01	Paper
A Comparison of Some Theoretical Models of Parallel Computation	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4125823	1972-01-01	Paper
Some Undecidability Results for Parallel Program Schemata	1972-01-01	Paper
Parallel program schemata	1969-01-01	Paper
The Organization of Computations for Uniform Recurrence Equations	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5514078	1966-01-01	Paper
Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing	1966-01-01	Paper
Index Register Allocation	1966-01-01	Paper
A FORTRAN Extension to Facilitate Proposal Preparation	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5723472	1962-01-01	Paper

Research outcomes over time

This page was built for person: Raymond E. Miller