You are here

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 FY20 is not expected to be complete until September, 2021.

  1. DEMONSTRABLY CORRECT COMPILATION (DCC)

    SBC: Baldwin/mchugh Assoc., Inc.            Topic: N/A

    A TECHNIQUE FOR OBTAINING TRUSTWORTHY COMPILATION BASED ON A COMPILATION CHECKER (SIMILAR TO A PROOF CHECKER) IS PROPOSED. THE TRANSFORMATIONS USED IN A COMPILER WILL BE FORMALLY SPECIFIED AND VERIFIED USING INTERPRETER EQUIVALENCE METHODS. THE COMPILER WILL BE INSTRUMENTED TO PRODUCE A TRACE OF THE TRANSFORMATIONS APPLIED IN THE COMPILATION OF A GIVEN PROGRAM. THE COMPILATION CHECKER WILL VALIDAT ...

    SBIR Phase I 1992 Department of DefenseDefense Advanced Research Projects Agency
  2. HYBRID DIFFRACTIVE/REFRACTIVE RELAY SYSTEM FOR HEAD MOUNTED DISPLAYS

    SBC: DIGITAL OPTICS CORP.            Topic: N/A

    N/A

    SBIR Phase I 1992 Department of DefenseDefense Advanced Research Projects Agency
US Flag An Official Website of the United States Government