Loading [a11y]/accessibility-menu.js
An algorithm proving the resource-allocation-graph algorithm | IEEE Conference Publication | IEEE Xplore

An algorithm proving the resource-allocation-graph algorithm


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 More

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:
Conference Location: Guilin, China

Contact IEEE to Subscribe

References

References is not available for this document.