Redio: Accelerating Disk-Based Graph Processing by Reducing Disk I/Os | IEEE Journals & Magazine | IEEE Xplore