Formal and Experimental Validation of a Low Overhead Execution Replay Mechanism.

Alain Fagot, Jacques Chassin de Kergommeaux

Browse the full EuroPar paper archive.