Title :
Simplified method for establishing determinacy in a directed-graph control structure
Author_Institution :
Heriot-Watt University, Department of Electrical & Electronic Engineering, Edinburgh, UK
Abstract :
The only analytical method so far proposed for establishing determinacy in a model for parallel computation is due to Karp and Miller. It involves growing a tree of every machine state, which is typically very large and needs much computation. The letter describes a very much simpler method suitable for nonpipelined hardware.
Keywords :
computer architecture; computer-aided design; parallel processing; directed graph control structure; establishing determinacy; machine state; nonpipelined hardware; parallel computation; tree;
Journal_Title :
Electronics Letters
DOI :
10.1049/el:19750012
