@entry{osb-cou-07-aa, author = {WG Osborne and JGF Coutinho...}, title = {Instrumented multi-stage word-length optimization}, journal = {... Conference on Field ...,}, volume = {}, number = {}, pages = {}, year = 2007, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/4439236/?casa_token=oJl7FcwQpQ4AAAAA:59novVmM5ZCJ7YY_VU-JMpB57nfe8ys6RuAw29Kx05gw_DspG81tx-3nF8g9YK5MzoSAApGA}}}, quotes = {... The range analysis stage in our system involves both interval and affine arithmetic, because ... of x), whereas it does in affine arithmetic. Affine arithmetic has problems as well. When ...} }