{"id":"https://openalex.org/W3036457205","doi":"https://doi.org/10.1109/tc.2020.3003529","title":"Digit Stability Inference for Iterative Methods Using Redundant Number Representation","display_name":"Digit Stability Inference for Iterative Methods Using Redundant Number Representation","publication_year":2020,"publication_date":"2020-06-19","ids":{"openalex":"https://openalex.org/W3036457205","doi":"https://doi.org/10.1109/tc.2020.3003529","mag":"3036457205"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2020.3003529","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2020.3003529","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2006.09427","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"He Li","orcid":"https://orcid.org/0000-0002-1540-189X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"He Li","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-1540-189X","affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ian McInerney","orcid":"https://orcid.org/0000-0003-2616-9771"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ian McInerney","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-2616-9771","affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":null,"display_name":"James J. Davis","orcid":"https://orcid.org/0000-0002-4910-3188"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"James J. Davis","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-4910-3188","affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":null,"display_name":"George A. Constantinides","orcid":"https://orcid.org/0000-0002-0201-310X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"George A. Constantinides","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-0201-310X","affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.10188479,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"70","issue":"7","first_page":"1074","last_page":"1080"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9693999886512756,"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.9693999886512756,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.012400000356137753,"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/T10792","display_name":"Matrix Theory and Algorithms","score":0.004900000058114529,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/iterative-method","display_name":"Iterative method","score":0.6098999977111816},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.48559999465942383},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.4611000120639801},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.45980000495910645},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45570001006126404},{"id":"https://openalex.org/keywords/numerical-digit","display_name":"Numerical digit","score":0.44110000133514404},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.43849998712539673},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.42989999055862427},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4059000015258789}],"concepts":[{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.6098999977111816},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.527999997138977},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.48559999465942383},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4788999855518341},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47119998931884766},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4616999924182892},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.4611000120639801},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.45980000495910645},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45570001006126404},{"id":"https://openalex.org/C94957134","wikidata":"https://www.wikidata.org/wiki/Q82990","display_name":"Numerical digit","level":2,"score":0.44110000133514404},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.43849998712539673},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.42989999055862427},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4059000015258789},{"id":"https://openalex.org/C2779982483","wikidata":"https://www.wikidata.org/wiki/Q6094420","display_name":"Iterative refinement","level":2,"score":0.39079999923706055},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.38999998569488525},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3693999946117401},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.3666999936103821},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3433000147342682},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.3125},{"id":"https://openalex.org/C67923128","wikidata":"https://www.wikidata.org/wiki/Q1481893","display_name":"Jacobi method","level":2,"score":0.30959999561309814},{"id":"https://openalex.org/C176321772","wikidata":"https://www.wikidata.org/wiki/Q1430640","display_name":"Numerical stability","level":3,"score":0.30720001459121704},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.30559998750686646},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.2994000017642975},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.2989000082015991},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.28290000557899475},{"id":"https://openalex.org/C164620267","wikidata":"https://www.wikidata.org/wiki/Q376953","display_name":"Adder","level":3,"score":0.2574999928474426},{"id":"https://openalex.org/C71559656","wikidata":"https://www.wikidata.org/wiki/Q671298","display_name":"Divide and conquer algorithms","level":2,"score":0.257099986076355},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.25529998540878296}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tc.2020.3003529","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2020.3003529","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2006.09427","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.09427","pdf_url":"https://arxiv.org/pdf/2006.09427","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/81050","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/81050","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"1080","raw_type":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2006.09427","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.09427","pdf_url":"https://arxiv.org/pdf/2006.09427","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4587427570","display_name":null,"funder_award_id":"EP/S030069/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G774180880","display_name":null,"funder_award_id":"EP/P010040/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320005","display_name":"Royal Academy of Engineering","ror":"https://ror.org/0526snb40"},{"id":"https://openalex.org/F4320322725","display_name":"China Scholarship Council","ror":"https://ror.org/04atp4p48"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W391578156","https://openalex.org/W1550024851","https://openalex.org/W1575701986","https://openalex.org/W2013814338","https://openalex.org/W2020804487","https://openalex.org/W2026162122","https://openalex.org/W2043792462","https://openalex.org/W2111593426","https://openalex.org/W2131256658","https://openalex.org/W2241331039","https://openalex.org/W2289344546","https://openalex.org/W2306180925","https://openalex.org/W2335543031","https://openalex.org/W2519664091","https://openalex.org/W2540128415","https://openalex.org/W2787746726","https://openalex.org/W2795500575","https://openalex.org/W2890647782","https://openalex.org/W2924411853","https://openalex.org/W2959076435","https://openalex.org/W2972080159","https://openalex.org/W2981478831","https://openalex.org/W3135067840","https://openalex.org/W4288083474","https://openalex.org/W6736283000"],"related_works":[],"abstract_inverted_index":{"In":[0,100],"our":[1,158,164],"recent":[2],"work":[3],"on":[4,67],"iterative":[5,134],"computation":[6],"in":[7,96,148,180],"hardware,":[8],"we":[9,103],"showed":[10],"that":[11,89,115],"arbitrary-precision":[12],"solvers":[13],"can":[14],"perform":[15],"more":[16,161],"favorably":[17],"than":[18],"their":[19],"traditional":[20],"arithmetic":[21],"equivalents":[22],"when":[23,123],"the":[24,33,36,48,52,73,125,138,144,181,191],"latter's":[25],"precisions":[26],"are":[27],"either":[28],"under-":[29],"or":[30],"over-budgeted":[31],"for":[32],"solution":[34,182],"of":[35,42,54,64,75,117,127,129,146,171,183,186],"problem":[37],"at":[38],"hand.":[39],"Significant":[40],"proportions":[41],"these":[43],"performance":[44],"improvements":[45],"stem":[46],"from":[47],"ability":[49],"to":[50,71,78,87,113,155,157],"infer":[51],"existence":[53],"identical":[55],"most-significant":[56,149],"digits":[57,77,90,116],"between":[58,140],"iterations.":[59],"This":[60],"technique":[61,174],"uses":[62],"properties":[63],"algorithms":[65],"operating":[66],"redundantly":[68],"represented":[69],"numbers":[70],"allow":[72],"generation":[74],"those":[76],"be":[79],"skipped,":[80],"increasing":[81],"efficiency.":[82],"It":[83],"is":[84],"unable,":[85],"however,":[86],"guarantee":[88],"will":[91,120],"stabilize,":[92],"i.e.,":[93],"never":[94],"change":[95],"any":[97],"future":[98],"iteration.":[99],"this":[101,105,153,172],"article,":[102],"address":[104],"shortcoming,":[106],"using":[107,132,152,190],"interval":[108],"and":[109,143],"forward":[110],"error":[111],"analyses":[112],"prove":[114],"high":[118],"significance":[119],"become":[121],"stable":[122],"computing":[124],"approximants":[126],"systems":[128,189],"linear":[130],"equations":[131],"stationary":[133],"methods.":[135],"We":[136],"formalize":[137],"relationship":[139],"matrix":[141],"conditioning":[142],"rate":[145],"growth":[147],"digit":[150],"stability,":[151],"information":[154],"converge":[156],"desired":[159],"results":[160],"quickly.":[162],"Versus":[163],"previous":[165],"work,":[166],"an":[167,176],"exemplary":[168],"hardware":[169],"realization":[170],"new":[173],"achieves":[175],"up-to":[177],"2.2\u00d7":[178],"speedup":[179],"a":[184],"set":[185],"variously":[187],"conditioned":[188],"Jacobi":[192],"method.":[193]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2020-06-25T00:00:00"}