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. Large-Area, High-Uniformity Photodiodes for Infrared Trap Detectors

    SBC: Amethyst Research Incorporated            Topic: 9020168R

    methyst Research Inc. will design, fabricate and test a high uniformity, large area, low noise infrared trap-detector detector for the 1- 4.5 μm wavelength range. This state of the art detector will have a large area (e.g., 1-1.8 cm diameter active area) with a spatial variability of internal quantum efficiency of less than 0.1 % between 1 μm and 4.5 μm. In addition, the internal quantum effici ...

    SBIR Phase I 2015 Department of CommerceNational Institute of Standards and Technology
US Flag An Official Website of the United States Government