Sciweavers

2144 search results - page 85 / 429
» Exact Flow Analysis
Sort
View
SIMVIS
2008
15 years 5 months ago
On the role of domain-specific knowledge in the visualization of technical flows
In this paper, we present an overview of a number of existing flow visualization methods, developed by the authors in the recent past, that are specifically aimed at integrating a...
Christoph Garth, Xavier Tricoche, Alexander Wiebel...
CVPR
2007
IEEE
16 years 6 months ago
Thermal Imaging of the Superficial Temporal Artery: An Arterial Pulse Recovery Model
We present a novel model1 for measurement of the arterial pulse from the Superficial Temporal Artery (STA) using passive thermal Infra Red (IR) sensors. The proposed approach has ...
Sergey Y. Chekmenev, Aly A. Farag, Edward A. Essoc...
INFOCOM
2012
IEEE
13 years 6 months ago
CARPO: Correlation-aware power optimization in data center networks
—Power optimization has become a key challenge in the design of large-scale enterprise data centers. Existing research efforts focus mainly on computer servers to lower their ene...
Xiaodong Wang, Yanjun Yao, Xiaorui Wang, Kefa Lu, ...
CVPR
2007
IEEE
16 years 6 months ago
Robust Estimation of Texture Flow via Dense Feature Sampling
Texture flow estimation is a valuable step in a variety of vision related tasks, including texture analysis, image segmentation, shape-from-texture and texture remapping. This pap...
Yu-Wing Tai, Michael S. Brown, Chi-Keung Tang
POPL
2006
ACM
16 years 4 months ago
A logic for information flow in object-oriented programs
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee