Publications

Real-time signal processing consumes the majority of the world's computing power. Increasingly, programmable parallel processors are used to address a wide variety of signal processing applications (e.g., scientific, video, wireless, medical, communication, encoding, radar, sonar, and imaging). In programmable systems, the major challenge is no longer hardware but software. Specifically...

Evaluation of High Performance Computing (HPC) systems should take into account software development time productivity in addition to hardware performance, cost, and other factors. We propose a new metric for HPC software development time productivity, defined as the ratio of relative runtime performance to relative programmer effort. This formula has...

The majority of research into the wake vortex hazard has concentrated on the in-trail encounter scenario for arrivals. At LaGuardia Airport, wake vortex spacings are applied to arrivals on runway 22 following a heavy departure on the intersecting runway 31, resulting in delay and increased workload for controllers. Previous analysis...

Audio diarization is the process of annotating an input audio channel with information that attributes (possibly overlapping) temporal regions of signal energy to their specific sources. These sources can include particular speakers, music, background noise sources, and other signal source/channel characteristics. Diarization has utility in making automatic transcripts more readable...

This paper reports results from two recent psycholinguistic experiments that measure the readability of four types of speech transcripts for the DARPA EARS Program. The two key questions in these experiments are (1) how much speech transcript cleanup aids readability and (2) how much the type of cleanup matters. We...

The continuing progress of Moore's law has enabled the development of radar systems that simultaneously transmit and receive multiple coded waveforms from multiple phase centers and to process them in ways that have been unavailable in the past. The signals available for processing from these Multiple-Input Multiple-Output (MIMO) radar systems...

RCM (Robust Collaborative Multicast) is a communication service designed to support collaborative applications operating in dynamic, mission-critical environments. RCM implements a set of well-specified message ordering and reliability properties that balance two conflicting goals: a)providing low-latency, highly-available, reliable communication service, and b) guaranteeing global consistency in how different participants perceive...

Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnerabilities found in various versions of Sendmail, BIND, and WU-FTPD. Each code example included a "BAD" case with and a "OK" case without buffer overflows. Buffer...

Coherent solid-state optical sources based on Nd:YAG/Cr4+:YAG passively Q-switched microchip lasers cover the spectral range from 5000 to 200 nm, producing multikilohertz pulse trains with pulse durations as short as 100 ps and peak powers up to 1 MW. The wavelength diversity is achieved through harmonic conversion, parametric conversion, Raman...

The integration of Remotely Piloted Vehicles (RF'Vs) into civil airspace will require new methods of ensuring aircraft separation. This paper discusses issues affecting requirements for RPV traffic avoidance systems and for performing the safety evaluations that will be necessary to certify such systems. The paper outlines current ways in which...