Login / Signup

Detecting and fixing precision-specific operations for measuring floating-point errors.

Ran WangDaming ZouXinrui HeYingfei XiongLu ZhangGang Huang
Published in: SIGSOFT FSE (2016)
Keyphrases
  • floating point
  • floating point arithmetic
  • fixed point
  • square root
  • sparse matrices
  • image segmentation
  • bayesian networks
  • post processing
  • instruction set