Login / Signup
Exploring Approximations for Floating-Point Arithmetic using UppSAT.
Aleksandar Zeljic
Peter Backeman
Christoph M. Wintersteiger
Philipp Rümmer
Published in:
CoRR (2017)
Keyphrases
</>
floating point arithmetic
floating point
artificial intelligence
instruction set
graphical models
distributed systems