The following pages link to A theory of computer instructions (Q2495549):
Displaying 7 items.
- Simple section interchange and properties of non-computable functions (Q988200) (← links)
- The data type of spatial objects (Q1941895) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- On the operating unit size of load/store architectures (Q3564342) (← links)
- Maurer computers for pipelined instruction processing (Q5458071) (← links)
