Skip to main content

Staghorn: An Automated Large-Scale Distributed System Analysis Platform.

Conference · Tue Aug 01 04:00:00 EDT 2017

OSTI ID:1464708

Gabert, Kasimir Georg; Burns, Ian; Elliott, Steven; Kallaher, Jenna ^[1]; Vail, Adam

SNL

Abstract not provided.

View Conference

Print

Research Organization:: Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)

Sponsoring Organization:: USDOE National Nuclear Security Administration (NNSA)

DOE Contract Number:: AC04-94AL85000

OSTI ID:: 1464708

Report Number(s):: SAND2017-8419C; 656041

Country of Publication:: United States

Language:: English

Similar Records

Staghorn: An Automated Large-Scale Distributed System Analysis Platform

Technical Report · Thu Sep 01 00:00:00 EDT 2016 · OSTI ID:1411885

Staghorn.

Conference · Wed Jul 01 00:00:00 EDT 2015 · OSTI ID:1331561

Nonlinear Solution Techniques for the Analysis of Large-Scale Reaction/Transport Systems.

Conference · Sat Jul 01 00:00:00 EDT 2006 · OSTI ID:1264604

Related Subjects