Sciweavers

1477 search results - page 33 / 296
» Token flow control
Sort
View
PLDI
2012
ACM
12 years 1 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»
13 years 10 months 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
SIMVIS
2008
14 years 12 days 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
13 years 9 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...
WOWMOM
2006
ACM
109views Multimedia» more  WOWMOM 2006»
14 years 5 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...