Login / Signup

Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling.

Claire Fang FangRob A. RutenbarMarkus PüschelTsuhan Chen
Published in: DAC (2003)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • symbolic execution
  • artificial intelligence
  • regular expressions
  • software engineering
  • test suite
  • java card