Validated roundings of dot products by sticky accumulation | IEEE Journals & Magazine | IEEE Xplore