Low-cost checkpointing with mutable checkpoints in mobile computing systems | IEEE Conference Publication | IEEE Xplore