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 June, 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. A Stereo Camera System for Measuring Coastal Currents

    SBC: 3SRM INC.            Topic: 844WP

    Inexperienced swimmers are often unaware of the presence of treacherous rip currents and this leads to many drowning deaths each year. Even when signs are posted, the public probably does not clearly understand the danger. It would be more informative if the public were ale to maps of the location, speed, and direction of coastal currents. Ocean safety officials are using various methods to inform ...

    SBIR Phase II 2015 Department of CommerceNational Oceanic and Atmospheric Administration
  3. High Quantum Efficiency Fast Detectors for Readout of Scintillators for Gamma Ray Detection

    SBC: VOXTEL, INC.            Topic: HSB062007

    High quantum efficiency (QE), fast (

    SBIR Phase I 2006 Department of Homeland Security
  4. HIGH EFFICIENCY COMPACT MODELING OF RADIATION EFFECTS

    SBC: Lynguent, Inc.            Topic: DTRA05001

    The objective of this research is to develop beta versions of tools for automatically migrating radiation effects predicted in TCAD level tools to compact modeling tools. This transition will enable compact models that possess radiation effects to be quickly generated, which can then be used in circuit design activity. This approach is a substantial improvement over the current ad hoc approaches. ...

    SBIR Phase II 2006 Department of DefenseDefense Threat Reduction Agency
  5. Vertical Wind Profile Data Collection Using Laser Technology on Unmanned Delivery Platforms.

    SBC: Oceanit Laboratories, Inc.            Topic: SOCOM04007

    The current project will develop and demonstrate a prototype compact, power-efficient all-fiber lidar unit for wind profiling on board UAV's and other aircraft. The system leverages Oceanit's current fiber-laser based lidar development efforts. A unique design provides a rugged system with no moving parts and little maintenance requirements. Efforts in the current project will include prototype s ...

    SBIR Phase II 2006 Department of DefenseSpecial Operations Command
US Flag An Official Website of the United States Government