Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness.

Lin Zhang, Zifan Wang, Fanxin Kong

Browse the full RTSS paper archive.