Pseudoduplication of floating-point addition. A method of compiler generated checking of permanent hardware faults.

Wolfgang Hahn, Michael Gssel

Browse the full VTS paper archive.