About
About the Data Science Association
Code of Conduct
International Journal of Data Science - Call for Papers - Deadline September 1, 2023 for Next Issue
Contact
Membership
Resources
Library
Data Science News
Committees
Wisdom
You are here
Home
» Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware
Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware
On
7 Jun, 2014
By
admin
0 Comments
Attachment:
Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware.pdf
Resource Type:
Academic Paper
Tags:
Approximate Computing
Languages
Reliability
Verification