E-LIB Suche - Ergebnisse für: Armstrong, Robert C.

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

Q: A Sound Verification Framework for Statecharts and Their..:

, In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,

Pollard, Samuel D. ; Armstrong, Robert C. ; Bender, John... - p. 16-26 , 2022

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

3

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/..

4

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/..

5

Time-rate-transformation framework for targeted assembly of..:

Jamali, Safa ; Armstrong, Robert C. ; McKinley, Gareth H.
Materials Today Advances. 5 (2020) - p. 100026 , 2020

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

6

Multiscale Nature of Thixotropy and Rheological Hysteresis ..:

Jamali, Safa ; Armstrong, Robert C. ; McKinley, Gareth H.
Physical Review Letters. 123 (2019) 24 - p. , 2019

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

7

Microstructural Rearrangements and their Rheological Implic..:

Jamali, Safa ; McKinley, Gareth H. ; Armstrong, Robert C.
Physical Review Letters. 118 (2017) 4 - p. , 2017

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

8

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/..

9

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/..

10

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..

11

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/..

12

Discovery and optimization of a highly efficacious class of..:

Liu, Gang ; Abraham, Sunny ; Liu, Xing...
Bioorganic & Medicinal Chemistry Letters. 25 (2015) 17 - p. 3436-3441 , 2015

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

13

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/..

14

R. Byron Bird: The integration of transport phenomena into ..:

Armstrong, Robert C.
AIChE Journal. 60 (2014) 4 - p. 1219-1224 , 2014

Link: https://doi.org/10.1002/..

15

Identification of 1-(3-(6,7-Dimethoxyquinazolin-4-yloxy)phe..:

Rowbottom, Martin W. ; Faraoni, Raffaella ; Chao, Qi...
Journal of Medicinal Chemistry. 55 (2012) 3 - p. 1082-1105 , 2012

Link: https://doi.org/10.1021/..