2144 search results - page 41 / 429 » Exact Flow Analysis |
CORR
2006
Springer
14 years 12 months ago
2006
Springer
The complexity of round robin iterative data flow analysis has been traditionally defined as 1+d where d is the depth of a control flow graph. However, this bound is restricted to ...
ESOP
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
109
click to vote
VISSYM
2007
15 years 2 months ago
2007
We present smooth formulations of common vortex detectors that allow a seamless integration into the concept of interactive visual analysis of flow simulation data. We express the...
ICFP
2010
ACM
15 years 28 days ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...