Sciweavers

2144 search results - page 121 / 429
» Exact Flow Analysis
Sort
View
DAGSTUHL
1997
15 years 5 months ago
Spotting Structure in Complex Time Dependent Flow
Analyzing structure in complex time dependent flow fields is a challenging problem. This paper describes the use of spot noise for the visualization of this type of fields. Spo...
Wim C. de Leeuw, Robert van Liere
SOSP
1997
ACM
15 years 5 months ago
A Decentralized Model for Information Flow Control
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
Andrew C. Myers, Barbara Liskov
JCS
2007
141views more  JCS 2007»
15 years 4 months ago
Compositional information flow security for concurrent programs
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
Annalisa Bossi, Carla Piazza, Sabina Rossi
JMIV
2007
119views more  JMIV 2007»
15 years 4 months ago
On the Discrete Maximum Principle for the Beltrami Color Flow
We analyze the discrete maximum principle for the Beltrami color flow. The Beltrami flow can display linear as well as nonlinear behavior according to the values of a parameter ...
Lorina Dascal, Adi Ditkowski, Nir A. Sochen
PR
2007
147views more  PR 2007»
15 years 3 months ago
Coarse to over-fine optical flow estimation
We present a readily applicable way to go beyond the accuracy limits of current optical flow estimators. Modern optical flow algorithms employ the coarse to fine approach. We s...
Tomer Amiaz, Eyal Lubetzky, Nahum Kiryati