Optimal queuing-based memory refreshing algorithm for energy efficient processors. (October 2018)