-
Federal
ARC Code TI: Geometry Manipulation Protocol (GMP) recent views
National Aeronautics and Space Administration —
The Geometry Manipulation Protocol (GMP) is a library which serializes datatypes between XML and ANSI C data structures to support CFD applications. This library... -
Federal
ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS) recent views
National Aeronautics and Space Administration —
IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an... -
Federal
ARC Code TI: CFD Utility Software Library recent views
National Aeronautics and Space Administration —
The CFD Utility Software Library consists of nearly 30 libraries of Fortran 90 and 77 subroutines and almost 100 applications built on those libraries. Many of the...