{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T18:37:55Z","timestamp":1726079875734},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030450922"},{"type":"electronic","value":"9783030450939"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45093-9_58","type":"book-chapter","created":{"date-parts":[[2020,4,14]],"date-time":"2020-04-14T23:03:45Z","timestamp":1586905425000},"page":"482-490","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error"],"prefix":"10.1007","author":[{"given":"Milan","family":"\u010ce\u0161ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milan","family":"\u010ce\u0161ka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji\u0159\u00ed","family":"Maty\u00e1\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Pankuch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,15]]},"reference":[{"key":"58_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1007\/978-3-319-96145-3_35","volume-title":"Computer Aided Verification","author":"M \u010ce\u0161ka","year":"2018","unstructured":"\u010ce\u0161ka, M., Maty\u00e1\u0161, J., Mrazek, V., Sekanina, L., Vasicek, Z., Vojnar, T.: ADAC: automated design of approximate circuits. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10981, pp. 612\u2013620. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-96145-3_35"},{"key":"58_CR2","doi-asserted-by":"crossref","unstructured":"Chandrasekharan, A., et al.: Precise error determination of approximated components in sequential circuits with model checking. In: DAC 2016. IEEE (2016)","DOI":"10.1145\/2897937.2898069"},{"key":"58_CR3","doi-asserted-by":"crossref","unstructured":"Chippa, V.K., et al.: Analysis and characterization of inherent application resilience for approximate computing. In: DAC 2013. ACM (2013)","DOI":"10.1145\/2463209.2488873"},{"key":"58_CR4","doi-asserted-by":"crossref","unstructured":"Ciesielski, M., et al.: Verification of gate-level arithmetic circuits by function extraction. In: DAC 2015. ACM (2015)","DOI":"10.1145\/2744769.2744925"},{"key":"58_CR5","doi-asserted-by":"crossref","unstructured":"Judd, P., Albericio, J., et al.: Proteus: exploiting numerical precision variability in deep neural networks. In: ICS 2016, pp. 1\u201312 (2016)","DOI":"10.1145\/2925426.2926294"},{"key":"58_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-46239-2_9","volume-title":"Genetic Programming","author":"JF Miller","year":"2000","unstructured":"Miller, J.F., Thomson, P.: Cartesian genetic programming. In: Poli, R., Banzhaf, W., Langdon, W.B., Miller, J., Nordin, P., Fogarty, T.C. (eds.) EuroGP 2000. LNCS, vol. 1802, pp. 121\u2013132. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/978-3-540-46239-2_9"},{"key":"58_CR7","doi-asserted-by":"crossref","unstructured":"Mrazek, V., et al.: Library of approximate adders and multipliers for circuit design and benchmarking of approximation methods. In: DATE 2017 (2017)","DOI":"10.23919\/DATE.2017.7926993"},{"key":"58_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-16501-1_18","volume-title":"Genetic Programming","author":"Z Vasicek","year":"2015","unstructured":"Vasicek, Z., Sekanina, L.: Circuit approximation using single- and multi-objective cartesian GP. In: Machado, P., et al. (eds.) EuroGP 2015. LNCS, vol. 9025, pp. 217\u2013229. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-16501-1_18"},{"key":"58_CR9","doi-asserted-by":"crossref","unstructured":"Vasicek, Z., et al.: Towards low power approximate DCT architecture for HEVC standard. In: DATE 2017, pp. 1576\u20131581. IEEE (2017)","DOI":"10.23919\/DATE.2017.7927241"},{"key":"58_CR10","doi-asserted-by":"crossref","unstructured":"\u010ce\u0161ka, M., et al.: Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished. In: ICCAD 2017, pp. 416\u2013423 (2017)","DOI":"10.1109\/ICCAD.2017.8203807"},{"key":"58_CR11","unstructured":"Venkataramani, S., et al.: SALSA: systematic logic synthesis of approximate circuits. In: DAC 2012, pp. 796\u2013801. ACM (2012)"},{"key":"58_CR12","doi-asserted-by":"crossref","unstructured":"Venkataramani, S., et al.: Substitute-and-simplify: a unified design paradigm for approximate and quality configurable circuits. In: DATE 2013. EDA (2013)","DOI":"10.7873\/DATE.2013.280"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45093-9_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,14]],"date-time":"2020-04-14T23:13:14Z","timestamp":1586905994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-45093-9_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030450922","9783030450939"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45093-9_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"15 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EUROCAST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Systems Theory","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Las Palmas de Gran Canaria","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 February 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 February 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eurocast2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/eurocast2019.fulp.ulpgc.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}