Award Data

To automatically detect software bugs, understand their characteristics, and categorize them according to the evolving NIST Bugs Framework (BF), SIFT is developing ISABEL: Integrated Secure Automated Bug Extraction List. ISABEL will provide three key functions:- Using symbolic analysis and fuzz-testing tools to find inputs that trigger vulnerabilities (bugs).- Using fuzz-testing, delta-debugging, ...

TECHNICAL ABSTRACT: CFDRC proposes the creation of an innovative location-based threat tracking and notification system to allow users to receive hazardous weather messages from the NWS with their call to action, allow users to receive custom-tailored messages about threats, and visualize relevant weather information within their area. The focus is on a tool that allows this information to be comm ...

Spectroscopic ellipsometry is recognized as the gold standard in noncontact characterization of the refractive index and thickness of a thin optical film or film stack on a substrate. However, it suffers from a number of shortcomings, perhaps the most important of which is the time required to perform a single measurement. Moreover, manufacturers are interested in comprehensive evaluation of thin ...

There is a global trend towards utilization of satellite communications for information services. Equivalent system temperature, Ts, is a significant parameter in quantifying the antenna system/link performance, because it represents the noise power spectral density in antenna system figures-of-merit, such as receiver gain/system temperature (G/T), and end-to-end Signal to Noise Ratio (SNR). Unf ...

Mistakes made by programmers in the use of pointer variables and dynamic memory allocation is a significant cource of software errors. The development of a suite of tools to aid in the detection of these errors is addressed. These tools will operate both statically and dynamically in order to provide as wide a range of services as possible. The static tool will guarantee that certain pointer ba ...

N/A

The goal of this project is to develop an demonstrate the feasibility of computer-based, multimedia instruction to facilitate the acquisition of difficult to learn mathematics principles. The goal will be accomplished through the design and development of a multimedia interface that uses audio prompts, interaction graphics, and text displays to guide learners through problem solving activities. ...