Abstract:
By analyzing the resource allocation graph algorithm, we state that the soundess of the algorithm depends on a fact: different simplification sequences of the resource al...Show MoreMetadata
Abstract:
By analyzing the resource allocation graph algorithm, we state that the soundess of the algorithm depends on a fact: different simplification sequences of the resource allocation graph lead to a same Non-reducible graph. By analyzing the essence of the resource allocation algorithm, we give another algorithm to verify the resource-allocation-graph algorithm.
Date of Conference: 22-24 October 2010
Date Added to IEEE Xplore: 03 December 2010
ISBN Information: