The effect of state-saving in optimistic simulation on a cache-coherent non-uniform memory access architecture | IEEE Conference Publication | IEEE Xplore