Symbolic crosschecking of floating-point and SIMD code.

Peter Collingbourne Cristian Cadar Paul H. J. Kelly

Published in: EuroSys (2011)

Keyphrases

floating point
floating point unit
interval arithmetic
fixed point
source code
square root
parallel algorithm
parallel processing
sparse matrices
massively parallel
fast fourier transform
floating point arithmetic
instruction set