Uncertain : Abstractions for Uncertain Hardware and Software
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley · IEEE Micro · 2015
Building correct, efficient systems that reason about the approximations produced by sensors, machine learning, big data, humans, and approximate hardware and software requires new standards and abstractions. The Uncertain; software abstraction aims to tackle these pervasive correctness, optimization, and programmability problems and guide hardware and software designers in producing estimates.