Login / Signup

Combining Tools for Optimization and Analysis of Floating-Point Computations.

Heiko BeckerPavel PanchekhaEva DarulovaZachary Tatlock
Published in: FM (2018)
Keyphrases
  • floating point
  • general purpose
  • fixed point
  • input image
  • data processing