Language-Based Expression of Reliability and Parallelism for Low-Power Computing | IEEE Journals & Magazine | IEEE Xplore