( en | de | ru )

 

Disambiguation of "Armstrong, Robert C."

Author of the publication

copydeleteadd this publication to your clipboard
Physics-Based Checksums for Silent-Error Detection in PDE Solvers.

, , and . Euro-Par Workshops, volume 11997 of Lecture Notes in Computer Science, page 681-693. Springer, (2019)

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.

Stephen Armstrong

Django Armstrong

Robert C Cauthorn

Robert C Holub

Alasdair Armstrong

 

Other publications of authors with the same name

Algorithmic Input Generation for More Effective Software Testing., , , , , and . COMPSAC, page 1708-1715. IEEE, (2022)Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony., , , and . FTXS@SC, page 1-10. IEEE, (2020)Physics-Based Checksums for Silent-Error Detection in PDE Solvers., , and . Euro-Par Workshops, volume 11997 of Lecture Notes in Computer Science, page 681-693. Springer, (2019)Lilith: Scalable Execution of User Code for Distributed Computing., , , and . HPDC, page 305-314. IEEE Computer Society, (1997)Refinement and Verification of Responsive Control Systems., , , , , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 272-277. Springer, (2020)A Component Architecture for High-Performance Scientific Computing., , , , , , , , , and 16 other author(s). Int. J. High Perform. Comput. Appl., 20 (2): 163-202 (2006)A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults., , , , , and . ICCS, volume 80 of Procedia Computer Science, page 1917-1926. Elsevier, (2016)Digital system robustness via design constraints: The lesson of formal methods., , and . SysCon, page 109-114. IEEE, (2015)Formal verification and validation of run-to-completion style state charts using Event-B., , , , , and . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)Characterizing short-term stability for Boolean networks over any distribution of transfer functions., , , , and . CoRR, (2014)