Parallel execution of for loops using checkpointing techniques | IEEE Conference Publication | IEEE Xplore