Award Data

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 ...

Phelps2020 proposes a low SWaP solution, ARRIS, to the improvement of the range and resolution of the MX-15 turret so they equal or exceed the capabilities of the MX-20 turret. We chose to keep the MX-15 turret untouched and append to it a low SWaP accelerated processor that performs real-time FMV enhancement. A multi-layer software application addresses illumination, weather, and environmental l ...

There is an acute need for a networked chemical sensor that is inexpensive enough to allow it to be treated as a disposable item - deployed and left in-place until the end of its useful life, or until operations move out of communications range. Electrochemical microarray sensors can be fabricated at low enough unit cost to make the development of a disposable sensor node feasible. These sensors ...

Our solution to the automated feature extraction problem will leverage the material properties that can be inferred from combining multispectral imagery with high resolution elevation data or LIDAR data using a trainable knowledge base. Multiple imaging bands provide a more complete picture of the material involved than ordinary RGB. This can help distinguish between a green grass lawn and a gre ...