On the choice of checkpoint interval using memory usage profile and adaptive time series analysis | IEEE Conference Publication | IEEE Xplore