Sciweavers

571 search results - page 38 / 115
» From Control Flow to Dataflow
Sort
View
DAGSTUHL
1996
13 years 9 months ago
Specialization of Imperative Programs Through Analysis of Relational Expressions
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...
Alexander Sakharov
VISUALIZATION
2003
IEEE
14 years 26 days ago
A Texture-Based Framework for Spacetime-Coherent Visualization of Time-Dependent Vector Fields
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...
Daniel Weiskopf, Gordon Erlebacher, Thomas Ertl
JCS
2006
118views more  JCS 2006»
13 years 7 months ago
Enforcing Robust Declassification and Qualified Robustness
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
INFOCOM
2003
IEEE
14 years 26 days ago
Unresponsive Flows and AQM Performance
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...
IJSYSC
2006
92views more  IJSYSC 2006»
13 years 7 months ago
Adaptive control of distributed collector solar fields
: 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...
J. M. Lemos