Two Hardware-Based Approaches for Deterministic Multiprocessor Replay. - Hower, Derek R.; Montesinos, Pablo; Ceze, Luis (Communications of the ACM, 2009)