Login / Signup

Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation.

Zuoyan ZhangBei ZhouJiangwei HaoHongru YangMengqi CuiYuchang ZhouGuanghui SongFei LiJinchen XuJie Zhao
Published in: ASE (2023)
Keyphrases
  • floating point
  • fixed point
  • square root
  • high quality
  • general purpose
  • input data
  • data processing
  • operating system