Integrating Inter-Node Communication with a Resilient Asynchronous Many-Task Runtime System | 1 | 0.36 | 2020 |
Targeted modification of hardware trojans | 0 | 0.34 | 2019 |
Scalable Failure Masking for Stencil Computations using Ghost Region Expansion and Cell to Rank Remapping. | 1 | 0.37 | 2017 |
Modeling and Simulating Multiple Failure Masking Enabled by Local Recovery for Stencil-Based Applications at Extreme Scales. | 4 | 0.39 | 2017 |
A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults. | 1 | 0.37 | 2016 |
Exploring Failure Recovery for Stencil-based Applications at Extreme Scales | 5 | 0.42 | 2015 |
Digital system robustness via design constraints: The lesson of formal methods | 0 | 0.34 | 2015 |
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics | 1 | 0.34 | 2015 |
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. | 0 | 0.34 | 2015 |
Local recovery and failure masking for stencil-based applications at extreme scales | 12 | 0.54 | 2015 |
Characterizing short-term stability for Boolean networks over any distribution of transfer functions. | 0 | 0.34 | 2014 |
Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization In Complex Systems | 2 | 0.43 | 2011 |
Influence And Dynamic Behavior In Random Boolean Networks | 3 | 0.54 | 2011 |
Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers | 1 | 0.35 | 2011 |
Framework for enabling system understanding | 1 | 0.35 | 2011 |
Using Cloud Constructs and Predictive Analysis to Enable Pre-Failure Process Migration in HPC Systems | 1 | 0.38 | 2010 |
Combining Virtualization, resource characterization, and Resource management to enable efficient high performance compute platforms through intelligent dynamic resource allocation | 2 | 0.48 | 2010 |
Quantifying effectiveness of failure prediction and response in HPC systems: Methodology and example | 1 | 0.35 | 2010 |
Using Probabilistic Characterization to Reduce Runtime Faults in HPC Systems | 7 | 0.94 | 2008 |