Author of the publication

Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults.

, , , , , , , and . CLUSTER, page 552-562. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal verification and validation of run-to-completion style state charts using Event-B., , , , , and . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)Q: A Sound Verification Framework for Statecharts and Their Implementations., , , , , , , and . FTSCS, page 16-26. ACM, (2022)On the object-oriented design of reference-counted shadow objects., , and . SE-CSE@ICSE, page 19-27. ACM, (2011)Raising the Bar: Assurance Cases for Scientific Software., , , , and . Comput. Sci. Eng., 23 (1): 47-57 (2021)Performance Scaling Variability and Energy Analysis for a Resilient ULFM-based PDE Solver., , , , , , , , and . ScalA@SC, page 41-48. IEEE Computer Society, (2016)Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults., , , , , , , and . CLUSTER, page 552-562. IEEE Computer Society, (2015)Refinement and Verification of Responsive Control Systems., , , , , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 272-277. Springer, (2020)Scalability of Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults., , , , , , , , and . ISC, volume 9697 of Lecture Notes in Computer Science, page 469-485. Springer, (2016)Test-driven coarray parallelization of a legacy Fortran application., , , , and . SE-HPCCSE@SC, page 33-40. ACM, (2013)A case study: agile development in the community laser-induced incandescence modeling environment (CLiiME)., , , and . SE-CSE@ICSE, page 9-18. IEEE Computer Society, (2013)