A methodology for evaluating parallel graph algorithms and its application to single source reachability | IEEE Conference Publication | IEEE Xplore