Formal Modeling of Process Migration. - Aric D. Blumer; Henning S. Mortveit; Cameron D. Patterson (FPL, 2007)

Hardware/Software Process Migration and RTL Simulation. - Aric D. Blumer; Cameron D. Patterson (FPL, 2007)

Register Transfer Level Simulation Acceleration via Hardware/Software Process Migration. - Aric D. Blumer (2007)

Exploiting Process Locality of Reference in RTL Simulation Acceleration. - Aric D. Blumer; Cameron D. Patterson (EURASIP J. Embed. Syst., 2008)