A simple characterization of provably efficient prefetching algorithms | IEEE Conference Publication | IEEE Xplore