Login / Signup
LifeJacket: Verifying precise floating-point optimizations in LLVM.
Andres Nötzli
Fraser Brown
Published in:
CoRR (2016)
Keyphrases
</>
floating point
fixed point
square root
instruction set
sparse matrices
model checking
floating point arithmetic
computer vision
three dimensional