Kenneth C. Barr Heidi Pan Michael Zhang Krste Asanovic Accelerating Multiprocessor Simulation with a Memory Timestamp Record. 66-77 2005 ISPASS http://doi.ieeecomputersociety.org/10.1109/ISPASS.2005.1430560 conf/ispass/2005 db/conf/ispass/ispass2005.html#BarrPZA05