Invariant checkers: An efficient low cost technique for run-time transient errors detection.

Carmela Noro Grando, Carlos Arthur Lang Lisba, lvaro Freitas Moreira, Luigi Carro

Browse the full IOLTS paper archive.