Tight Error Analysis in Fixed-point Arithmetics. Bemporad, A., Inverso, O., Simic, S., & Tribastone, M. In 16th International Conference on integrated Formal Methods, (iFM 2020), 2021. To appear.bibtex @inproceedings{bemporad_tight_2021,
title = {Tight {Error} {Analysis} in {Fixed}-point {Arithmetics}},
booktitle = {16th {International} {Conference} on integrated {Formal} {Methods}, ({iFM} 2020)},
author = {Bemporad, Alberto and Inverso, Omar and Simic, Stella and Tribastone, Mirco},
year = {2021},
note = {To appear.},
}
Downloads: 0
{"_id":"ST2xcDH2k9ELx4RdW","bibbaseid":"bemporad-inverso-simic-tribastone-tighterroranalysisinfixedpointarithmetics-2021","authorIDs":[],"author_short":["Bemporad, A.","Inverso, O.","Simic, S.","Tribastone, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Tight Error Analysis in Fixed-point Arithmetics","booktitle":"16th International Conference on integrated Formal Methods, (iFM 2020)","author":[{"propositions":[],"lastnames":["Bemporad"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["Inverso"],"firstnames":["Omar"],"suffixes":[]},{"propositions":[],"lastnames":["Simic"],"firstnames":["Stella"],"suffixes":[]},{"propositions":[],"lastnames":["Tribastone"],"firstnames":["Mirco"],"suffixes":[]}],"year":"2021","note":"To appear.","bibtex":"@inproceedings{bemporad_tight_2021,\n\ttitle = {Tight {Error} {Analysis} in {Fixed}-point {Arithmetics}},\n\tbooktitle = {16th {International} {Conference} on integrated {Formal} {Methods}, ({iFM} 2020)},\n\tauthor = {Bemporad, Alberto and Inverso, Omar and Simic, Stella and Tribastone, Mirco},\n\tyear = {2021},\n\tnote = {To appear.},\n}\n\n","author_short":["Bemporad, A.","Inverso, O.","Simic, S.","Tribastone, M."],"key":"bemporad_tight_2021","id":"bemporad_tight_2021","bibbaseid":"bemporad-inverso-simic-tribastone-tighterroranalysisinfixedpointarithmetics-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.zotero.org/groups/2604798/items?key=ZSF7YcLGSl41KwgvxCRC9heF&format=bibtex&limit=100","creationDate":"2020-11-10T13:03:33.976Z","downloads":0,"keywords":[],"search_terms":["tight","error","analysis","fixed","point","arithmetics","bemporad","inverso","simic","tribastone"],"title":"Tight Error Analysis in Fixed-point Arithmetics","year":2021,"dataSources":["yQwxQitdfXht3AmDz"]}