Offline symbolic analysis for multi-processor execution replay.

Dongyoon Lee Mahmoud Said Satish Narayanasamy Zijiang Yang Cristiano Pereira

Published in: MICRO (2009)

Keyphrases

multi processor
genetic algorithm
constraint satisfaction problems