Formally Verifying Graphics FPU - An Intel® Experience.

Aarti Gupta V. M. Achutha KiranKumar Rajnish Ghughal

Published in: FM (2014)

Keyphrases

floating point
computer graphics
multimedia
data processing
fine grained
metadata
np hard
distributed systems
model checking
parallel algorithm
user experience
file formats
multi core processors
floating point unit