Uncertain: Abstractions for Uncertain Hardware and Software | IEEE Journals & Magazine | IEEE Xplore