List

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 April, 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. VIIRS DNB HGS Radiometric Calibration Source

    SBC: INNOVATIVE IMAGING & RESEARCH CORP            Topic: 843D

    A new radiometric vicarious calibration approach for the Suomi NPP VIIRS Day/Night Band’s (DNB) high gain stage (HGS) is proposed that will complement traditional, extended source, radiance-based calibrations, which are based on natural lunar illumination and not as accurate as desired. The proposed research will produce affordable, field-deployable, NIST-traceable point source lamps that can ac ...

    SBIR Phase I 2015 Department of CommerceNational Oceanic and Atmospheric Administration

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government