The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until April, 2020.
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
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