A cost model for selecting checkpoint positions in time warp parallel simulation | IEEE Journals & Magazine | IEEE Xplore