Specification and synthesis of hardware checkpointing and rollback mechanisms.

Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik

Browse the full DAC paper archive.