Award Data

For best search results, use the search terms first and then apply the filters
Reset

The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until September, 2020.

  1. A Verifier for Multicore C11 or C++11 Code

    SBC: The Formula Factory            Topic: 9030177R

    Galois will build a practical, efficient, modular, deductive code verifier and verification methodology for multithread C11 software. The verifier will take code written to the C11 standard, suitably annotated with function contracts, assertions, program/data invariants, ghost data/code, and any platform-specific assumptions beyond those guaranteed by the standard, and will prove that the code mee ...

    SBIR Phase I 2015 Department of CommerceNational Institute of Standards and Technology
  2. Automated Feature Extraction Capabilities for the Development of High-Resolution GEOINT Feature Data and Constructing Correlated Databases

    SBC: CG2, Inc.            Topic: SOCOM06012

    Our solution to the automated feature extraction problem will leverage the material properties that can be inferred from combining multispectral imagery with high resolution elevation data or LIDAR data using a trainable knowledge base. Multiple imaging bands provide a more complete picture of the material involved than ordinary RGB. This can help distinguish between a green grass lawn and a gre ...

    SBIR Phase I 2006 Department of DefenseSpecial Operations Command
  3. Low-Cost, Networked, Disposable Chemical Sensor

    SBC: Streamline Automation, LLC            Topic: SOCOM05010

    There is an acute need for a networked chemical sensor that is inexpensive enough to allow it to be treated as a disposable item - deployed and left in-place until the end of its useful life, or until operations move out of communications range. Electrochemical microarray sensors can be fabricated at low enough unit cost to make the development of a disposable sensor node feasible. These sensors ...

    SBIR Phase I 2006 Department of DefenseSpecial Operations Command
US Flag An Official Website of the United States Government