Two-level checkpoint/restart modeling for GPGPU | IEEE Conference Publication | IEEE Xplore