An Optimal Checkpointing Model with Online OCI Adjustment for Stream Processing Applications | IEEE Conference Publication | IEEE Xplore