Doubt and Redundancy Kill Soft Errors - Towards Detection and Correction of Silent Data Corruption in Task-based Numerical Software.