DocumentCode
926250
Title
Simplified method for establishing determinacy in a directed-graph control structure
Author
Heath, F.G.
Author_Institution
Heriot-Watt University, Department of Electrical & Electronic Engineering, Edinburgh, UK
Volume
11
Issue
1
fYear
1975
Firstpage
16
Lastpage
17
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;
fLanguage
English
Journal_Title
Electronics Letters
Publisher
iet
ISSN
0013-5194
Type
jour
DOI
10.1049/el:19750012
Filename
4236518
Link To Document