Verifying quantitative reliability for programs that execute on unreliable hardware

Authors

Keywords

Journal

Volume 48, Issue 10, Pages 33-52

Publisher

Association for Computing Machinery (ACM)

Online

2013-11-26

DOI

10.1145/2544173.2509546

Discuss science. Find collaborators. Network.

Join a conversation

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started