KIMP: Multicheckpointing Multiprocessors | AMiner