Claire Fang Fang, Rob A. Rutenbar, Markus Püschel, Tsuhan Chen. Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling. In Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003. pages 496-501, ACM, 2003. [doi]
Abstract is missing.