Memory controller for globally uncoordinated and locally coordinated checkpointing. - Yoann Congal; Mickael Cartron (ICECS, 2011)