This Article 
 Bibliographic References 
 Add to: 
Bounds for Maxium Parallelism in a Bilogic Graph Model of Computations
November 1969 (vol. 18 no. 11)
pp. 1012-1014
Given an acyclic directed graph where vertices represent computational tasks, arcs represent transfer of control, and two labels?called input and output logics?associated with each vertex show either the concurrency or the mutual exclusiveness of tasks, procedures are given to determine a lower and an upper bound on the number of processors required for maximum parallelism. The lower bound is obtained via a mean path length approach, while the upper bound is based on the structure of the graph. A detailed algorithm is given for the latter. First, some reduction rules are applied yielding a subset of the vertices which can be performed in parallel. Then the maximum cut in the graph is determined taking into account mutually exclusive vertices. Results are given for example graphs.
Index Terms:
Boolean matrices, directed graphs, models of computations, parallel processing, precedence matrix.
J.-L.E. Baer, G. Estrin, "Bounds for Maxium Parallelism in a Bilogic Graph Model of Computations," IEEE Transactions on Computers, vol. 18, no. 11, pp. 1012-1014, Nov. 1969, doi:10.1109/T-C.1969.222572
Usage of this product signifies your acceptance of the Terms of Use.