Sciweavers

1477 search results - page 33 / 296
» Token flow control
Sort
View
94
Voted
PLDI
2012
ACM
13 years 3 months ago
Language-based control and mitigation of timing channels
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
IJCV
2000
195views more  IJCV 2000»
15 years 15 days ago
Optical Flow Constraints on Deformable Models with Applications to Face Tracking
Optical flow provides a constraint on the motion of a deformable model. We derive and solve a dynamic system incorporating flow as a hard constraint, producing a model-based least...
Douglas DeCarlo, Dimitris N. Metaxas
151
Voted
SIMVIS
2008
15 years 2 months ago
Feature-based Analysis of a Multi-Parameter Flow Simulation
In our work we examine a high-dimensional, massive flow data set around an airfoil using a topology-based vortex analysis. The 3D time-dependent flow depends on two additional par...
Tino Weinkauf, Jan Sahner, Bert Günther, Holg...
IEEECIT
2010
IEEE
14 years 11 months ago
CFCSS without Aliasing for SPARC Architecture
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
Chao Wang, Zhongchuan Fu, Hongsong Chen, Wei Ba, B...
111
Voted
WOWMOM
2006
ACM
109views Multimedia» more  WOWMOM 2006»
15 years 6 months ago
A Flow Control Framework for Improving Throughput and Energy Efficiency in CSMA/CA based Wireless Multihop Networks
— In multihop wireless networks where a random access MAC scheme such as CSMA/CA is used, nodes greedily compete in a distributed manner and are unaware of the interference they ...
Jaya Shankar Pathmasuntharam, Amitabha Das, Prasan...