{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T10:03:33Z","timestamp":1756461813460},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/dasip.2014.7115608","type":"proceedings-article","created":{"date-parts":[[2015,6,3]],"date-time":"2015-06-03T15:33:14Z","timestamp":1433345594000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["A fast method for overflow effect analysis in fixed-point systems"],"prefix":"10.1109","author":[{"given":"R.","family":"Nehmeh","sequence":"first","affiliation":[]},{"given":"D.","family":"Menard","sequence":"additional","affiliation":[]},{"given":"A.","family":"Banciu","sequence":"additional","affiliation":[]},{"given":"T.","family":"Michel","sequence":"additional","affiliation":[]},{"given":"R.","family":"Rocher","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Algorithmic C Data Types","year":"2008","key":"ref10"},{"journal-title":"Tech Rep","article-title":"SystemC User's Guide (ver 2.0)","year":"2001","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JLT.2008.2010061"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SIPS.2005.1579941"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SiPS.2011.6088971"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996699"},{"key":"ref6","article-title":"Range estimation of floating-point variables in simulink models","author":"chapoutot","year":"2012","journal-title":"DASIP"},{"key":"ref5","article-title":"A stochastic bitwidth estimation technique for compact and low-power custom processors","author":"emre","year":"2008","journal-title":"ACM TECS"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2012.2188938"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5654064"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049462.70970.b6"},{"key":"ref1","article-title":"Interval Computations: Introduction, Uses, and Resources","author":"kearfott","year":"1996","journal-title":"Euromath Bulletin"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2228270"}],"event":{"name":"2014 Conference on Design and Architectures for Signal and Image Processing (DASIP)","start":{"date-parts":[[2014,10,8]]},"location":"Madrid, Spain","end":{"date-parts":[[2014,10,10]]}},"container-title":["Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7108513\/7115593\/07115608.pdf?arnumber=7115608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T15:20:40Z","timestamp":1490368840000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7115608\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/dasip.2014.7115608","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}