A numerical optimization-based methodology for application robustification: Transforming applications for error tolerance.