發送短信 : Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling

 _    _      ___      ____     __   __    ______  
| || | ||   / _ \\   |  _ \\   \ \\/ //  /_   _// 
| || | ||  | / \ ||  | |_| ||   \ ` //   `-| |,-  
| \\_/ ||  | \_/ ||  | .  //     | ||      | ||   
 \____//    \___//   |_|\_\\     |_||      |_||   
  `---`     `---`    `-` --`     `-`'      `-`'