The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until September, 2020.
SBC: ADVANCED RESEARCH CORPORATION Topic: 9010368R
This project focuses on developing a magnetic resonance imaging (MRI) contrast agent that may increase the detection of tagged cells by a factor of 10-100. The ability to noninvasively track specifically labeled (tagged) cells, enables a researcher or medical treatment professional to dynamically monitor the delivery and targeted application of medicinal and bio-reactive agents.SBIR Phase I 2015 Department of CommerceNational Institute of Standards and Technology
SBC: XSB INC. Topic: 9010273R
Standards and specifications are widely used in government and industry to define requirements for products and processes and insure interoperability, safety, and quality of industrial and domestic products. Specifications and standards documents almost always cross-reference other standards and specification. Taken together, the web of interdependent standards forms an immensely important knowled ...SBIR Phase I 2015 Department of CommerceNational Institute of Standards and Technology
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