{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T21:29:52Z","timestamp":1772832592684,"version":"3.50.1"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2020,4,1]]},"DOI":"10.1109\/tc.2019.2950658","type":"journal-article","created":{"date-parts":[[2019,10,31]],"date-time":"2019-10-31T21:12:58Z","timestamp":1572556378000},"page":"489-504","source":"Crossref","is-referenced-by-count":9,"title":["Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0702-5652","authenticated-orcid":false,"given":"Anastasia","family":"Volkova","sequence":"first","affiliation":[]},{"given":"Thibault","family":"Hilaire","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Lauter","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/22145.22161"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-010-0127-7"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2170988"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-013-0055-6"},{"key":"ref31","author":"zelinka","year":"2012","journal-title":"Handbook of Optimization from Classical to Modern Approach"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/114697.116813"},{"key":"ref37","first-page":"749","article-title":"Über die abgrenzung der eigenwerte einer matrix","author":"gershgorin","year":"1931","journal-title":"Bull Acad Sci URSS"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BF02239750"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0168-9274(87)90050-X"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(91)90039-H"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-76526-6"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-011-0342-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718027"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11155-005-6891-y"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/cae.10004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSS.1998.730590"},{"key":"ref16","author":"widrow","year":"2008","journal-title":"Quantization Noise Roundoff Error in Digital Computation Signal Processing Control and Communications"},{"key":"ref17","author":"constantinides","year":"2004","journal-title":"Synthesis and Optimization of DSP Algorithms"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858687"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2000.910977"},{"key":"ref28","article-title":"Applying the z-transform for the static analysis of floating-point numerical filters","author":"monniaux","year":"2005"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2015.7421231"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2015.14"},{"key":"ref6","article-title":"Towards reliable implementation of digital filters","author":"volkova","year":"2017"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.2014.6868629"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2007.902408"},{"key":"ref8","author":"oshana","year":"2006","journal-title":"DSP software development techniques for embedded and real-time systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2200\/S00220ED1V01Y200909SPR009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(92)90064-Y"},{"key":"ref9","year":"2008","journal-title":"IEEE Standard for Floating-Point Arithmetic"},{"key":"ref1","author":"oppenheim","year":"2009","journal-title":"Discrete-Time Signal Processing"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2041839"},{"key":"ref45","article-title":"Implémentation optimale de filtres linéaires en arithmétique virgule fixe","author":"lopez","year":"2015"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2277978"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.896306"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2017.9"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2238290"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2003.815552"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.873887"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TCT.1972.1083419"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2161307"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2018.2879432"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775960"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/9032251\/08888208.pdf?arnumber=8888208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:16:13Z","timestamp":1651068973000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8888208\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,1]]},"references-count":45,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tc.2019.2950658","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"value":"0018-9340","type":"print"},{"value":"1557-9956","type":"electronic"},{"value":"2326-3814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,1]]}}}