A small and power efficient checkpoint core architecture for manycore processors. (2015)