Checkpoint and Run-Time Adaptation with Pluggable Parallelisation | IEEE Conference Publication | IEEE Xplore