Luca Benini
Diego Melpignano
Eric Flamand
Bruno Jego
Thierry Lepley
Germain Haugou
Proceedings of the 49th Annual Design Automation Conference on - DAC ’12
Globally precise-restartable execution of parallel programs