@entry{pur-ben-cho-20-aa, author = {S Purini and V Benara and Z Choudhury...}, title = {Bitwidth customization in image processing pipelines using interval analysis and SMT solvers}, journal = {Proceedings of the 29th ...,}, volume = {}, number = {}, pages = {}, year = 2020, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://dl.acm.org/doi/abs/10.1145/3377555.3377899?casa_token=PP_h1qd99u4AAAAA:RfUoYBStXvHcJmgXPGF3fEBE4_mAcNajipqqYylal9At-fEB1zpmZ4Cb1ZdUksTGwZwjvgPR4ig}}}, quotes = {... extent using affine arithmetic analysis. A detailed discussion on affine arithmetic analysis is ... In this section, we show how interval and affine arithmetic based range analysis techniques ...} }