Dynamic Adaptive Checkpoint Mechanism for Streaming Applications Based on Reinforcement Learning | IEEE Conference Publication | IEEE Xplore