Aloe: Verifying reliability of approximate programs in the presence of recovery mechanisms

Keyphrases

• Recovery Mechanism 100%
• Aloe 100%
• Static Analysis 50%
• Reliability Analysis 50%
• Recovery Blocks 50%
• Selective Detection 25%
• Scalar 25%
• Order of Accuracy 25%
• Programming Languages 25%
• High Reliability 25%
• Methods for Detection 25%
• Detection Mechanism 25%
• Imperative Programs 25%
• Analysis Support 25%
• Computing Research 25%
• Silent Data Corruption 25%
• Modern Hardware 25%
• If-then-else 25%
• Approximate Computing 25%
• Language Constructs 25%
• Recovery Strategy 25%
• Recovery Operations 25%
• Early Exit 25%
• Accuracy Loss 25%
• Idempotent 25%
• Selective Recovery 25%
• Verifiable Computation 25%

Computer Science

• Static Program Analysis 100%
• High Reliability 50%
• Data Corruption 50%
• Approximate Computing 50%
• Support Analysis 50%
• Code Recovery 50%
• Recovery Strategy 50%
• Original Computation 50%
• Recovery Operation 50%