Verifying quantitative reliability for programs that execute on unreliable hardware

Keyphrases

• Soft Error 100%
• Reliable Hardware 100%
• Reliability Analysis 66%
• Hardware Platform 33%
• Programming Languages 33%
• Corrupt 33%
• Hardware Components 33%
• Processing Machines 33%
• Reliability Constraint 33%
• Computing Applications 33%
• Quantitative Requirement 33%
• Multimedia Processing 33%
• High-performance Architecture 33%
• Approximate Computing 33%
• Hardware Description 33%
• Unreliable Components 33%
• Machine Learning Datasets 33%
• Reliability Engineering 33%
• Big Data Analytics 33%
• Learning Data Analytics 33%

Computer Science

• Soft Error 100%
• Machine Learning 33%
• Multimedia 33%
• Hardware Platform 33%
• Programming Language 33%
• Hardware Component 33%
• Underlying Hardware 33%
• Approximate Computing 33%
• Reliability Requirement 33%
• Big Data Analytics 33%
• Hardware Specification 33%