A communication-induced checkpointing algorithm using virtual checkpoint on distributed systems | IEEE Conference Publication | IEEE Xplore