Sciweavers

1377 search results - page 59 / 276
» Flit-Reservation Flow Control
Sort
View
ICFP
2012
ACM
12 years 16 days ago
Addressing covert termination and timing channels in concurrent information flow systems
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit ...
CAIP
2007
Springer
156views Image Analysis» more  CAIP 2007»
14 years 2 months ago
Classification of Optical Flow by Constraints
In this paper, we analyse mathematical properties of spatial optical-flow computation algorithm. First by numerical analysis, we derive the convergence property on variational opti...
Yusuke Kameda, Atsushi Imiya
NOMS
2010
IEEE
172views Communications» more  NOMS 2010»
13 years 8 months ago
WiMFlow: a distributed, self-adaptive architecture for flow monitoring in Wireless Mesh Networks
—We present WiMFlow, a dynamic and self-organized flow monitoring framework in Wireless Mesh Networks. The protocol allows for an autonomic organization of the probes, with the ...
Cristian Popi, Olivier Festor
MICRO
2012
IEEE
285views Hardware» more  MICRO 2012»
12 years 17 days ago
Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
Feng Li, Antoniu Pop, Albert Cohen
POPL
2012
ACM
12 years 5 months ago
Multiple facets for dynamic information flow
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
Thomas H. Austin, Cormac Flanagan