An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
We propose Unsteady Flow Advection–Convolution (UFAC) as a novel visualization approach for unsteady flows. It performs time evolution governed by pathlines, but builds spatial...
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
Abstract— Routers handle data packets from sources unresponsive to TCP’s congestion avoidance feedback. We are interested in the impact these sources have on AQM’s control of...
C. V. Hollot, Yong Liu, Vishal Misra, Donald F. To...
: Distributed collector solar fields are spatially distributed engineering systems which aim at collecting and storing energy from solar radiation. They are formed by mirrors which...