Quantitative Analysis of Graph Algorithms: Models and Optimization Methods | IEEE Conference Publication | IEEE Xplore