Infrastructure software comprises code libraries or runtime processes that support the development or operation of application software. A particular infrastructure system may sup...
W. Keith Edwards, Victoria Bellotti, Anind K. Dey,...
We first present in this paper why peripheral awareness is important in the context of Air Traffic Controller interfaces. Controllers are often working under a high working load, ...
Jonathan J. Cadiz, Mary Czerwinski, D. Scott McCri...
Digital video is becoming increasingly ubiquitous. However, editing video remains difficult for several reasons: it is a time-based medium, it has dual tracks of audio and video, ...
A. Chris Long, Juan P. Casares, Brad A. Myers, Ris...
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...