The following pages link to Raymond E. Miller (Q808227):
Displaying 27 items.
- Specification and analysis of a data transfer protocol using systems of communicating machines (Q808228) (← links)
- On formulating simultaneity for studying parallelism and synchronization (Q1136221) (← links)
- (Q1242904) (redirect page) (← links)
- Synchronization and computing capabilities of linear asynchronous structures (Q1242906) (← links)
- A batching method for coloring planar graphs (Q1252864) (← links)
- Stabilization and pseudo-stabilization (Q1310567) (← links)
- Homomorphisms between models of parallel computation (Q1836982) (← links)
- Parallel program schemata (Q2540014) (← links)
- Protocol analysis and synthesis by structured partitions (Q3776595) (← links)
- On computing distances between leaves in a complete tree (Q3890125) (← links)
- (Q3908956) (← links)
- (Q4053115) (← links)
- (Q4125823) (← links)
- (Q4146242) (← links)
- (Q4190122) (← links)
- (Q4195962) (← links)
- On formulating simultaneity for studying parallelism and synchronization (Q5402547) (← links)
- A FORTRAN Extension to Facilitate Proposal Preparation (Q5511411) (← links)
- (Q5514078) (← links)
- Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing (Q5528155) (← links)
- Index Register Allocation (Q5530094) (← links)
- The Organization of Computations for Uniform Recurrence Equations (Q5558285) (← links)
- Some Undecidability Results for Parallel Program Schemata (Q5653543) (← links)
- A Comparison of Some Theoretical Models of Parallel Computation (Q5678420) (← links)
- (Q5723472) (← links)
- Optimal 2,3-Trees (Q5895353) (← links)
- Optimal 2,3-Trees (Q5904716) (← links)
