Exploring Failure Recovery for Stencil-based Applications at Extreme Scales.
Abstract not provided.
Gamell, Marc↗
Engineering topics
Mayo, Jackson
Publications and source records attributed to Mayo, Jackson.
Digital System Robustness via Design Constraints: The Lesson of Formal Methods.
Abstract not provided.
Mayo, Jackson↗
Failure Masking and Local Recovery for Stencil-based Applications at Extreme Scales.
Abstract not provided.
Gamell, Marc↗
Digital System Robustness via Design Constraints: The Lesson of Formal Methods.
Abstract not provided.
Mayo, Jackson↗
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
Abstract not provided.
Hulette, Geoffrey Compton↗
An Adaptive Power Method for the Generalized Tensor Eigenproblem.
Abstract not provided.
Kolda, Tamara G.↗
Digital Design Verification using Formal and Complexity Analysis.
Abstract not provided.
Armstrong, Robert C.↗
Fourier Analysis of Boolean Networks: Explaining Resilience of Structured Families.
Abstract not provided.
Comandur, Seshadhri↗
Fundamental analysis and prediction of turbulent premixed combustion: Status and prospects.
Abstract Not Provided
Mayo, Jackson↗
Symmetric Tensor Decomposition via a Power Method for the Generalized Tensor Eigenproblem.
Abstract Not Provided
Mayo, Jackson↗
Toward Idealizations for Fundamental Understanding of Parallel Scalability amid Failure.
Abstract Not Provided
Thompson, David↗
Community-Based Resistance to Intrusion in Information Technology Systems.
Abstract not provided.
Armstrong, Robert C.↗
Leveraging Complexity for Unpredictable yet Robust Cyber Systems.
Abstract not provided.
Mayo, Jackson↗