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. Dynamic Frequency Passive Millimeter-Wave Radiometer Based on Optical Up-Conversion

    SBC: Phase Sensitive Innovations, Inc.            Topic: 941D

    In the proposed effort, we will leverage this extensive experience and capabilities to realize a frequency agile mmW radiometer that can cover the range of DC-110 GHz and can be scaled to DC-200 GHz under Phase II. Ours is a photonic system that multiplies and up-coverts a low-frequency reference signal onto an optical carrier (laser) using EO modulation, then uses the modulation sidebands to inj ...

    SBIR Phase I 2013 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