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

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

The underlying framework for modern-day weather forecasting is numerical weather prediction (NWP). Even the current and planned weather observing platforms leave gaps that are insufficient to meet the requirements of NWP. Mano Nanotechnologies, Inc. proposes a new environmental sensing system, known as “GlobalSense”, which will enable transformational forecast improvements by filing these crit ...

Improving the quality and intensity of the x-ray beam is an important design goal for every synchrotron installation. Although small, the effects of vacuum windows on x-ray absorption and phase contrast cannot be neglected. Synchrotron x-rays have wavelengths on the order of one Angstrom (1 x 10-10m), the same order of magnitude as inter-atomic distances. These x-rays are used to study many differ ...

The proposed Phase I work is to develop soft pack lithium polymer batteries with high energy density (>175 Wh/kg) and superior temperature performance. Ultralife has been engaged in lithium polymer battery research, development and manufacturing since1996. Ultralife has achieved several milestones in improving lithium polymer battery performance over the past year. The current Ultralife 3410610 ...

A smart machine tool must be able to monitor its condition and report problems. Every CNC machine should provide an alarm for tool condition problems, including tool wear, much as every automobile has a low oil indicator. Tool wear is particularly important for unattended machining as a worn tool can ruin a part. All current tool condition systems operate "blind" without direct information on curr ...