503 search results - page 4 / 101 » Data Flow Analysis for CCS |
VEE
2012
ACM
12 years 2 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
VISSYM
2004
13 years 8 months ago
2004
Isosurfacing, by itself, is a common visualization technique for investigating 3D vector fields. Applying texturebased flow visualization techniques to isosurfaces provides engine...
IPAW
2010
13 years 4 months ago
2010
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
PASTE
1998
ACM
13 years 10 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
CGF
2008
13 years 7 months ago
2008
The powerful yet conceptually simple notions of Finite-Time Lyapunov Exponent (FTLE) and Lagrangian Coherent Structures provide a powerful framework for the analysis and visualiza...