{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:33Z","timestamp":1763467833131,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1109\/fpl.2007.4380730","type":"proceedings-article","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:42Z","timestamp":1194991002000},"page":"617-620","source":"Crossref","is-referenced-by-count":42,"title":["Automatic Accuracy-Guaranteed Bit-Width Optimization for Fixed and Floating-Point Systems"],"prefix":"10.1109","author":[{"given":"W.G.","family":"Osborne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.C.C.","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.G.F.","family":"Coutinho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Luk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Mencer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.106"},{"key":"ref3","first-page":"158","article-title":"Floating-point bitwidth analysis via automatic differentiation","author":"abdul gaffar","year":"0","journal-title":"IEEE International Conference on Field-Programmable Technology (FPT)"},{"key":"ref6","article-title":"Self-ValidatedNumericalMethods and Applications","author":"stolfi","year":"1997","journal-title":"Rio de Janeiro Institute for Pure and Applied Mathematics (IMPA)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.873887"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2003.1275757"},{"journal-title":"Interval Analysis","year":"1966","author":"moore","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1109\/43.936374","article-title":"Combined word-length optimization and high-level synthesis of digital signal processing systems","volume":"20","author":"kum","year":"2001","journal-title":"IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-9659(01)00107-0"}],"event":{"name":"2007 International Conference on Field Programmable Logic and Applications","start":{"date-parts":[[2007,8,27]]},"location":"Amsterdam, Netherlands","end":{"date-parts":[[2007,8,29]]}},"container-title":["2007 International Conference on Field Programmable Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4380601\/4380602\/04380730.pdf?arnumber=4380730","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T20:52:44Z","timestamp":1643748764000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4380730\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/fpl.2007.4380730","relation":{},"subject":[],"published":{"date-parts":[[2007,8]]}}}