Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
Abstract not provided.
Hulette, Geoffrey Compton↗
Engineering topics
Ruthruff, Joseph.
Publications and source records attributed to Ruthruff, Joseph..
Digital Design Verification using Formal and Complexity Analysis.
Abstract not provided.
Armstrong, Robert C.↗
A Scalable Decomposition Algorithm for PMU Placement Under Multiple-Failure Contingencies.
Abstract not provided.
Chen, Richard Li-Yang.↗
Computational Solution Verification Applied to a Thermal Model of a Ruggedized Instrumentation Package.
Abstract not provided.
Scott, Sarah Nicole↗
DAKOTA JAGUAR User's Manual (V.3.0)
JAGUAR (JAva GUi for Applied Research) is a Java software tool providing an advanced text editor and graphical user interface (GUI) to manipulate DAKOTA (Design Analysis Kit for Optimization and Terascale Applications) input specifications. This document focuses on the features necessary to use JAGUAR.
Adams, Brian M.↗
Digital Systems Analysis for Assessing Trust of Critical Information Systems.
Abstract not provided.
Ruthruff, Joseph.↗
Computational Solution Verification Applied to a Thermal Model of a Ruggedized Instrumentation Package.
Abstract not provided.
Scott, Sarah Nicole↗
MapReduce-enabled model reduction for large scale simulation data.
Abstract not provided.
Constantine, Paul G.↗