E-LIB Suche - Ergebnisse für: Mayo, Jackson R.

1

Algorithmic Input Generation for More Effective Software Te..:

, In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC),

Epifanovskaya, Laura ; Meeson, Reginald ; McCormack, Christopher... - p. 1708-1715 , 2022

Link: https://doi.org/10.1109/..

2

Improving Scalability of Silent-Error Resilience for Messag..:

, In: 2020 IEEE/ACM 10th Workshop on Fault Tolerance for HPC at eXtreme Scale (FTXS),

Kolla, Hemanth ; Mayo, Jackson R. ; Teranishi, Keita. - p. 1-10 , 2020

Link: https://doi.org/10.1109/..

3

Physics-Based Checksums for Silent-Error Detection in PDE S..:

, In: Euro-Par 2019: Parallel Processing Workshops; Lecture Notes in Computer Science,

Salloum, Maher ; Mayo, Jackson R. ; Armstrong, Robert C. - p. 681-693 , 2020

Link: https://doi.org/10.1007/..

4

Towards Distributed Software Resilience in Asynchronous Man..:

, In: 2020 IEEE/ACM 10th Workshop on Fault Tolerance for HPC at eXtreme Scale (FTXS),

Gupta, Nikunj ; Mayo, Jackson R. ; Lemoine, Adrian S.. - p. 11-20 , 2020

Link: https://doi.org/10.1109/..

5

Targeted modification of hardware trojans:

Hamlet, Jason R. ; Mayo, Jackson R. ; Kammler, Vivian G.
Journal of Hardware and Systems Security. 3 (2019) 2 - p. 189-197 , 2019

Link: https://doi.org/10.1007/..

6

Log-Correlated Large-Deviation Statistics Governing Huygens..:

Mayo, Jackson R. ; Kerstein, Alan R.
Journal of Statistical Physics. 176 (2019) 2 - p. 456-477 , 2019

Link: https://doi.org/10.1007/..

7

Publisher's Note: Characterizing short-term stability for B..:

Seshadhri, C. ; Smith, Andrew M. ; Vorobeychik, Yevgeniy..
Physical Review E. 94 (2016) 3 - p. , 2016

Link: https://doi.org/10.1103/..

8

A Robust Technique to Make a 2D Advection Solver Tolerant t..:

Strazdins, Peter ; Harding, Brendan ; Lee, Chung...
Procedia Computer Science. 80 (2016) - p. 1917-1926 , 2016

Link: https://doi.org/10.1016/..

9

In-Situ Mitigation of Silent Data Corruption in PDE Solvers:

, In: Proceedings of the ACM Workshop on Fault-Tolerance for HPC at Extreme Scale,

Salloum, Maher ; Mayo, Jackson R. ; Armstrong, Robert C. - p. 43-48 , 2016

Link: https://dl.acm.org/doi/1..

10

Characterizing short-term stability for Boolean networks ov..:

Seshadhri, C. ; Smith, Andrew M. ; Vorobeychik, Yevgeniy..
Physical Review E. 94 (2016) 1 - p. , 2016

Link: https://doi.org/10.1103/..

11

Theorem-Proving Analysis of Digital Control Logic Interacti..:

Hulette, Geoffrey C. ; Armstrong, Robert C. ; Mayo, Jackson R..
Electronic Notes in Theoretical Computer Science. 317 (2015) - p. 71-83 , 2015

Link: https://doi.org/10.1016/..

12

An Adaptive Shifted Power Method for Computing Generalized ..:

Kolda, Tamara G. ; Mayo, Jackson R.
SIAM Journal on Matrix Analysis and Applications. 35 (2014) 4 - p. 1563-1581 , 2014

Link: https://doi.org/10.1137/..

13

Noncooperatively Optimized Tolerance: Decentralized Strateg..:

Vorobeychik, Yevgeniy ; Mayo, Jackson R. ; Armstrong, Robert C..
Physical Review Letters. 107 (2011) 10 - p. , 2011

Link: https://doi.org/10.1103/..

14

Influence and Dynamic Behavior in Random Boolean Networks:

Seshadhri, C. ; Vorobeychik, Yevgeniy ; Mayo, Jackson R...
Physical Review Letters. 107 (2011) 10 - p. , 2011

Link: https://doi.org/10.1103/..

15

Shifted Power Method for Computing Tensor Eigenpairs:

Kolda, Tamara G. ; Mayo, Jackson R.
SIAM Journal on Matrix Analysis and Applications. 32 (2011) 4 - p. 1095-1124 , 2011

Link: https://doi.org/10.1137/..