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. Cognitive Residential Heat Pumps Fault Detection and Diagnostic Datalogger

    SBC: MANAGEMENT SCIENCES INC            Topic: 9010173R

    During Phase I, Management Sciences, Inc. (MSI) proved feasibility of adapting their current technology into a product capable of improving performance resulting in increased efficiency and extended life cycles of heat pumps. The resultant product is a tool named the Heat Pump Sentient (HP-Sentient). The HP-Sentient will improve performance and reduce maintenance costs through aggressive goal-seek ...

    SBIR Phase II 2015 Department of CommerceNational Institute of Standards and Technology
  3. Commercial Verde

    SBC: Fernandez, Steven            Topic: 851

    Public and commercial application of NOAA developed products such as climate observations, weather products, and datasets are underutilized by public decision makers, infrastructure asset owners, or the public. Communities realize the risk posed by increases in storm intensity, flooding, and heat waves. However, communities lack understandable models targets to stakeholder questions that are affor ...

    SBIR Phase I 2015 Department of CommerceNational Oceanic and Atmospheric Administration
  4. Portable high precision nitrogen gas analyzer for eddy covariance flux measurements

    SBC: Southwest Sciences, Inc.            Topic: 861X

    Recent theoretical studies of eddy flux correlation have suggested that the commonly used assumption of dry air having no net flux is erroneous and can lead to significant errors in reported observations. Presently, dry air density is calculated indirectly from measured temperature, pressure and relative humidity, all of which contribute to increased uncertainties in the result. If instead the den ...

    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