Sign in

Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving.

Gabriele PaganelliWolfgang Ahrendt
Published in: SYNASC (2013)
Keyphrases
  • floating point
  • fixed point
  • sparse matrices
  • square root
  • instruction set
  • floating point arithmetic
  • pairwise
  • numerical stability
  • interval arithmetic
  • computer science
  • search space
  • fine grained
  • fast fourier transform