{"id":"https://openalex.org/W2078477494","doi":"https://doi.org/10.1109/newcas.2014.6933979","title":"A hybrid arithmetic transform for precision analysis of floating-point polynomial specifications","display_name":"A hybrid arithmetic transform for precision analysis of floating-point polynomial specifications","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2078477494","doi":"https://doi.org/10.1109/newcas.2014.6933979","mag":"2078477494"},"language":"en","primary_location":{"id":"doi:10.1109/newcas.2014.6933979","is_oa":false,"landing_page_url":"https://doi.org/10.1109/newcas.2014.6933979","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007969269","display_name":"O. Sarbishei","orcid":"https://orcid.org/0000-0001-5677-2462"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"O. Sarbishei","raw_affiliation_strings":["Department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada","department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada#TAB#","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111982137","display_name":"Katarzyna Radecka","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"K. Radecka","raw_affiliation_strings":["Department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada","department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada#TAB#","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"last","author":{"id":null,"display_name":"Z. Zilic","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Z. Zilic","raw_affiliation_strings":["Department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada","department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"department of Electrical and Computer Engineering, McGill University, Montreal, QC, Canada#TAB#","institution_ids":["https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13091968,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":null,"first_page":"37","last_page":"40"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/affine-arithmetic","display_name":"Affine arithmetic","score":0.9242146015167236},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.7698403596878052},{"id":"https://openalex.org/keywords/saturation-arithmetic","display_name":"Saturation arithmetic","score":0.7098332047462463},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.6606882810592651},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.651174008846283},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5384014248847961},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.5241767764091492},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4993622303009033},{"id":"https://openalex.org/keywords/arbitrary-precision-arithmetic","display_name":"Arbitrary-precision arithmetic","score":0.48765861988067627},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.45234525203704834},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43831250071525574}],"concepts":[{"id":"https://openalex.org/C167315692","wikidata":"https://www.wikidata.org/wiki/Q3622729","display_name":"Affine arithmetic","level":3,"score":0.9242146015167236},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.7698403596878052},{"id":"https://openalex.org/C182775192","wikidata":"https://www.wikidata.org/wiki/Q913725","display_name":"Saturation arithmetic","level":3,"score":0.7098332047462463},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6606882810592651},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.651174008846283},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5384014248847961},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.5241767764091492},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4993622303009033},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.48765861988067627},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.45234525203704834},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43831250071525574},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/newcas.2014.6933979","is_oa":false,"landing_page_url":"https://doi.org/10.1109/newcas.2014.6933979","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1867721554","https://openalex.org/W1971221279","https://openalex.org/W1975570043","https://openalex.org/W1994134378","https://openalex.org/W2020804487","https://openalex.org/W2031107564","https://openalex.org/W2083553720","https://openalex.org/W2084363214","https://openalex.org/W2088111445","https://openalex.org/W2088144429","https://openalex.org/W2099432024","https://openalex.org/W2102313638","https://openalex.org/W2118230018","https://openalex.org/W2130277629","https://openalex.org/W2146471606","https://openalex.org/W2149687567","https://openalex.org/W2166141986","https://openalex.org/W2166864245","https://openalex.org/W3145632036","https://openalex.org/W4255817127"],"related_works":["https://openalex.org/W1965905913","https://openalex.org/W1531645310","https://openalex.org/W2181927644","https://openalex.org/W2568181300","https://openalex.org/W2145443674","https://openalex.org/W1983325766","https://openalex.org/W1971540865","https://openalex.org/W2674200359","https://openalex.org/W26868316","https://openalex.org/W2080666584"],"abstract_inverted_index":{"Precision":[0],"analysis":[1,45,58,95],"of":[2,8,50,88,101],"floating-point":[3,53],"polynomial":[4,54,89],"data-flow-graphs":[5],"in":[6,20,97],"terms":[7],"the":[9,31,74],"error":[10],"measure":[11],"Maximum":[12],"Mismatch":[13],"(MM)":[14],"is":[15,59],"a":[16,43,86],"challenging":[17],"verification":[18],"problem":[19],"computer":[21],"arithmetic":[22],"and":[23],"embedded":[24],"systems.":[25],"In":[26],"this":[27],"paper":[28],"by":[29],"pairing":[30],"spectral":[32],"technique":[33],"Arithmetic":[34,39,72],"Transform":[35],"(AT)":[36],"with":[37,70],"Interval":[38],"(IA),":[40],"we":[41],"introduce":[42],"static":[44],"to":[46,61,104],"compute":[47],"an":[48],"overestimation":[49],"MM":[51,102],"for":[52],"specifications.":[55],"The":[56],"proposed":[57],"applicable":[60],"fixed-point":[62],"designs":[63],"as":[64,80,82],"well.":[65],"We":[66],"compare":[67],"our":[68,94],"solution":[69],"Affine":[71],"(AA),":[73],"Gappa":[75],"tool,":[76],"which":[77],"uses":[78],"IA,":[79],"well":[81],"simulation-based":[83],"methods,":[84],"on":[85],"set":[87],"benchmarks.":[90],"Experiments":[91],"show":[92],"that":[93],"results":[96],"much":[98],"lower":[99],"overestimations":[100],"compared":[103],"previous":[105],"work.":[106]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}