Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling
Proceedings - Design Automation Conference
Saved in:
Main Authors: | Fang C.F., Rutenbar R.A., P�schel M., Chen T. |
---|---|
Other Authors: | DEPARTMENT OF COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2018
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/146343 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Lightweight floating-point arithmetic: Case study of inverse discrete cosine transform
by: Fang F., et al.
Published: (2018) -
Symbolic Round-O Error between Floating-Point and Fixed-Point
by: Truong, Hoang Anh, et al.
Published: (2017) -
Beating floating point at its own game: Posit arithmetic
by: Gustafson, J.L, et al.
Published: (2020) -
A new representation for the error function for the hermite interpolation and sharper pointwise and uniform error bounds for the derivatives
by: Wong, P.J.Y., et al.
Published: (2014) -
ARITHMETIC DYNAMICS ON ALGEBRAIC CURVES
by: NG YONG HAO
Published: (2015)