Language-Based Expression of Reliability and Parallelism for Low-Power Computing [pdf]computer.org1 pointrbanffy8 years ago