Work-load balancing in highly parallel depth-first search | IEEE Conference Publication | IEEE Xplore