Robert C. Armstrong

发表

Living with Complexity in Cyber Security.

Jackson R. Mayo, Robert C. Armstrong, R. Armstrong, 2009 .

Emulytics: Large-Scale Emulation of Botnets.

Jackson R. Mayo, Robert C. Armstrong, 2009 .

Parallel computing in enterprise modeling.

Zach Heath, Robert C. Armstrong, Benjamin A. Allan, 2008 .

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties

Robert C. Armstrong, Jackson Mayo, Geoffrey C. Hulette, 2015, FTSCS.

Copy of Using Emulation and Simulation to Understand the Large-Scale Behavior of the Internet.

Ronald G. Minnich, Ann C. Gentile, Robert C. Armstrong, 2008 .

The CCA core specification in a distributed memory SPMD framework

James Arthur Kohl, David E. Bernholdt, Alicia P. Wolfe, 2002, Concurr. Comput. Pract. Exp..

Leveraging complexity in software for cybersecurity

Robert C. Armstrong, Jackson Mayo, 2009, CSIIRW '09.

Managing scientific software complexity with Bocca and CCA

Boyana Norris, Robert C. Armstrong, Benjamin A. Allan, 2008 .

Frame-based components for generalized particle methods

Pete Wyckoff, Robert C. Armstrong, Nancy Brown, 1997, Proceedings. The Sixth IEEE International Symposium on High Performance Distributed Computing (Cat. No.97TB100183).

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2005; 17:117–141 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: 10.1002/cpe.931

Allen D. Malony, Sameer Shende, Matthew J. Sottile, 2022 .

A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults

Peter E. Strazdins, Brendan Harding, Robert C. Armstrong, 2016, ICCS.

Peer-to-Peer Architectures for Exascale Computing: LDRD Final Report

Sandia Report, Yevgeniy Vorobeychik, Ronald G. Minnich, 2010 .

Digital system robustness via design constraints: The lesson of formal methods

Robert C. Armstrong, Jackson Mayo, Geoffrey C. Hulette, 2015, 2015 Annual IEEE Systems Conference (SysCon) Proceedings.

Managing Complexity in Modern High End Scientific Computing through Component-Based Software Engineering

David E. Bernholdt, Robert C. Armstrong, Benjamin A. Allan, 2004 .

In-Situ Mitigation of Silent Data Corruption in PDE Solvers

Robert C. Armstrong, Jackson Mayo, Maher Salloum, 2016, FTXS@HPDC.

Robust Digital Computation in the Physical World

Robert C. Armstrong, Jackson Mayo, Geoffrey C. Hulette, 2018, Cyber-Physical Systems Security.

A Component Architecture for High-Performance Scientific Computing

James Arthur Kohl, David E. Bernholdt, Daniel S. Katz, 2006, Int. J. High Perform. Comput. Appl..

Lilith: Scalable execution of user code for distributed computing

L. Jean Camp, Ann C. Gentile, Robert C. Armstrong, 1997, Proceedings. The Sixth IEEE International Symposium on High Performance Distributed Computing (Cat. No.97TB100183).

Survey of Existing Tools for Formal Verification

Matthew H. Wong, Robert C. Armstrong, Ratish J. Punnoose, 2014 .

FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases

Jonathan Allen, Robert C. Armstrong, 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

Characterizing short-term stability for Boolean networks over any distribution of transfer functions

Yevgeniy Vorobeychik, Seshadhri Comandur, Robert C. Armstrong, 2014, Physical review. E.

Influence and Dynamic Behavior in Random Boolean Networks

Yevgeniy Vorobeychik, Seshadhri Comandur, Robert C. Armstrong, 2011, Physical review letters.

On the role of self-similarity in component-based software.

David E. Bernholdt, Robert C. Armstrong, Benjamin A. Allan, 2005 .

Using computational game theory to guide verification and security in hardware designs

Yevgeniy Vorobeychik, Robert C. Armstrong, Jackson Mayo, 2017, 2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).

Performance measurement and modeling of component applications in a high performance computing environment: a case study

Allen D. Malony, Sameer Shende, Robert C. Armstrong, 2003, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

High-Performance Component Software Systems

Lois Curfman McInnes, Robert C. Armstrong, Randall Bramley, 2006, Parallel Processing for Scientific Computing.

Toward a Common Component Architecture for High-Performance Scientific Computing

Scott R. Kohn, Lois C. McInnes, Dennis Gannon, 1999, HPDC.

Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems

Yevgeniy Vorobeychik, Robert C. Armstrong, Joseph R. Ruthruff, 2011, Physical review letters.

The use of frameworks for scientific computation in a parallel distributed environment

Robert C. Armstrong, Jane MacFarlane, 1994, Proceedings of 3rd IEEE International Symposium on High Performance Distributed Computing.

COMPOSE-HPC: A TRANSFORMATIONAL APPROACH TO EXASCALE

Samantha S. Foley, David E. Bernholdt, Sriram Krishnamoorthy, 2012 .

Emulytics : concepts for cyber emulation, modeling, and simulation.

Robert C. Armstrong, R. C. Armstrong, Steven M. Rinaldi, 2010 .

Published online in Wiley InterScience (www.interscience.wiley.com). DOI: 10.1002/cpe.911

Lois C. McInnes, Matthew J. Sottile, Steven G. Parker, 2022 .

Lilith: a software framework for the rapid development of scalable tools for distributed computing

Ann C. Gentile, Robert C. Armstrong, David A. Evensky, 1998, Proceedings. The Seventh International Symposium on High Performance Distributed Computing (Cat. No.98TB100244).

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics

Robert C. Armstrong, Joseph R. Ruthruff, Jackson Mayo, 2015, NSV.

Smart sensor technology for joint test assembly flights.

Edward J. Walsh, Carmen M. Pancerella, Robert C. Armstrong, 2003 .

Computational Quality of Service for Scientific Components

David E. Bernholdt, Allen D. Malony, Sameer Shende, 2004, CBSE.

Approaches for Scalable Modeling and Emulation of Cyber Systems: LDRD Final Report

Ronald G. Minnich, Jackson R. Mayo, Robert C. Armstrong, 2009 .

Bocca: a development environment for HPC components

Robert C. Armstrong, Benjamin A. Allan, Wael R. Elwasif, 2007, CompFrame '07.

POET (Parallel Object-Oriented Environment and Toolkit) and frameworks for scientific distributed computing

Robert C. Armstrong, 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.