{"id":"https://openalex.org/W3047365684","doi":"https://doi.org/10.1109/arith48897.2020.00011","title":"A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm","display_name":"A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm","publication_year":2020,"publication_date":"2020-06-01","ids":{"openalex":"https://openalex.org/W3047365684","doi":"https://doi.org/10.1109/arith48897.2020.00011","mag":"3047365684"},"language":"en","primary_location":{"id":"doi:10.1109/arith48897.2020.00011","is_oa":false,"landing_page_url":"https://doi.org/10.1109/arith48897.2020.00011","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 27th Symposium on Computer Arithmetic (ARITH)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-02982017","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031775383","display_name":"Sylvie Boldo","orcid":"https://orcid.org/0000-0002-1970-3019"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sylvie Boldo","raw_affiliation_strings":["Laboratoire de recherche en informatique, Universit\u00e9 Paris-Saclay, CNRS, Inria, F-91405, Orsay, France","TOCCATA - Formally Verified Programs,   Certified Tools and Numerical Computations (Universit\u00e9 Paris-Saclay; B\u00e2timent 650 ; 91405 ORSAY CEDEX - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de recherche en informatique, Universit\u00e9 Paris-Saclay, CNRS, Inria, F-91405, Orsay, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I4210144804","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"TOCCATA - Formally Verified Programs,   Certified Tools and Numerical Computations (Universit\u00e9 Paris-Saclay; B\u00e2timent 650 ; 91405 ORSAY CEDEX - France)","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020545720","display_name":"Diane Gallois-Wong","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Diane Gallois-Wong","raw_affiliation_strings":["Laboratoire de recherche en informatique, Universit\u00e9 Paris-Saclay, CNRS, Inria, F-91405, Orsay, France","TOCCATA - Formally Verified Programs,   Certified Tools and Numerical Computations (Universit\u00e9 Paris-Saclay; B\u00e2timent 650 ; 91405 ORSAY CEDEX - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de recherche en informatique, Universit\u00e9 Paris-Saclay, CNRS, Inria, F-91405, Orsay, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I4210144804","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"TOCCATA - Formally Verified Programs,   Certified Tools and Numerical Computations (Universit\u00e9 Paris-Saclay; B\u00e2timent 650 ; 91405 ORSAY CEDEX - France)","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038191154","display_name":"Thibault Hilaire","orcid":"https://orcid.org/0009-0008-7324-8767"},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210091437","display_name":"Sorbonne Paris Cit\u00e9","ror":"https://ror.org/001z21q04","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210091437"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]},{"id":"https://openalex.org/I51101395","display_name":"Universit\u00e9 Paris 1 Panth\u00e9on-Sorbonne","ror":"https://ror.org/002t25c44","country_code":"FR","type":"education","lineage":["https://openalex.org/I51101395"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Thibault Hilaire","raw_affiliation_strings":["LIP6 UMR 7606, Sorbonne Universit\u00e9, F-75005 Paris, France","PEQUAN - Performance et Qualit\u00e9 des Algorithmes Num\u00e9riques (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP6 UMR 7606, Sorbonne Universit\u00e9, F-75005 Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I51101395","https://openalex.org/I4210091437","https://openalex.org/I4210159731"]},{"raw_affiliation_string":"PEQUAN - Performance et Qualit\u00e9 des Algorithmes Num\u00e9riques (France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.13269747,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":1.0,"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":1.0,"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/T11034","display_name":"Digital Filter Design and Implementation","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9886000156402588,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rounding","display_name":"Rounding","score":0.9583228230476379},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6690559387207031},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6401280760765076},{"id":"https://openalex.org/keywords/dot-product","display_name":"Dot product","score":0.624478280544281},{"id":"https://openalex.org/keywords/fixed-point-arithmetic","display_name":"Fixed-point arithmetic","score":0.5861014127731323},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5301286578178406},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5200202465057373},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.5107207298278809},{"id":"https://openalex.org/keywords/digital-signal-processing","display_name":"Digital signal processing","score":0.4505510926246643},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.4468810558319092},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.4464626610279083},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.43924930691719055},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4356900155544281},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.4178870618343353},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2894250154495239},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.1726110577583313}],"concepts":[{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.9583228230476379},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6690559387207031},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6401280760765076},{"id":"https://openalex.org/C32900221","wikidata":"https://www.wikidata.org/wiki/Q181365","display_name":"Dot product","level":2,"score":0.624478280544281},{"id":"https://openalex.org/C163973906","wikidata":"https://www.wikidata.org/wiki/Q649900","display_name":"Fixed-point arithmetic","level":3,"score":0.5861014127731323},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5301286578178406},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5200202465057373},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.5107207298278809},{"id":"https://openalex.org/C84462506","wikidata":"https://www.wikidata.org/wiki/Q173142","display_name":"Digital signal processing","level":2,"score":0.4505510926246643},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.4468810558319092},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4464626610279083},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.43924930691719055},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4356900155544281},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.4178870618343353},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2894250154495239},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.1726110577583313},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/arith48897.2020.00011","is_oa":false,"landing_page_url":"https://doi.org/10.1109/arith48897.2020.00011","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 27th Symposium on Computer Arithmetic (ARITH)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-02982017v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02982017","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ARITH 2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.9-16, ⟨10.1109/ARITH48897.2020.00011⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-02982017v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02982017","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ARITH 2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.9-16, ⟨10.1109/ARITH48897.2020.00011⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"score":0.8999999761581421,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W8363554","https://openalex.org/W1496427046","https://openalex.org/W1565383065","https://openalex.org/W1656620728","https://openalex.org/W1968165559","https://openalex.org/W2036870239","https://openalex.org/W2104895541","https://openalex.org/W2116292260","https://openalex.org/W2169004268","https://openalex.org/W2883740135","https://openalex.org/W2899970442","https://openalex.org/W2982234065","https://openalex.org/W4230984477","https://openalex.org/W4247806563","https://openalex.org/W6629604270","https://openalex.org/W6636910806"],"related_works":["https://openalex.org/W2535419677","https://openalex.org/W2134876043","https://openalex.org/W2476214559","https://openalex.org/W187939582","https://openalex.org/W3039927303","https://openalex.org/W4388911419","https://openalex.org/W2118569990","https://openalex.org/W4322008031","https://openalex.org/W3047365684","https://openalex.org/W2061091230"],"abstract_inverted_index":{"Dot":[0],"products":[1,76],"(also":[2],"called":[3],"sums":[4],"of":[5,55,75],"products)":[6],"are":[7,18,26],"ubiquitous":[8],"in":[9,14,21,37,83,95],"matrix":[10],"computations,":[11],"for":[12,40],"instance":[13],"signal":[15],"processing.":[16],"We":[17,30],"especially":[19],"interested":[20],"digital":[22],"filters,":[23],"where":[24],"they":[25],"the":[27,53],"core":[28],"operation.":[29],"therefore":[31],"focus":[32],"on":[33,88],"fixed-point":[34],"arithmetic,":[35],"used":[36],"embedded":[38],"systems":[39],"time":[41],"and":[42,57,97,103],"energy":[43],"efficiency.":[44],"Common":[45],"dot":[46],"product":[47],"algorithms":[48],"ensure":[49,62],"faithful":[50],"rounding.":[51,64],"For":[52],"sake":[54],"accuracy":[56],"reproducibility,":[58],"we":[59],"want":[60],"to":[61],"correct":[63],"This":[65,85],"article":[66],"describes":[67],"an":[68],"algorithm":[69,86],"that":[70],"computes":[71],"a":[72,100],"correctly-rounded":[73],"sum":[74],"from":[77],"inputs":[78],"whose":[79],"format":[80],"is":[81,92],"known":[82],"advance.":[84],"relies":[87],"odd":[89],"rounding":[90],"(that":[91],"easily":[93],"implemented":[94],"hardware)":[96],"comes":[98],"with":[99],"careful":[101],"proof":[102],"some":[104],"cost":[105],"analysis.":[106]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}