Sciweavers

2144 search results - page 39 / 429
» Exact Flow Analysis
Sort
View
125
Voted
CVPR
2010
IEEE
15 years 5 months ago
A Study on Continuous Max-Flow and Min-Cut Approaches
Abstract. This work addresses a class of total-variation based multilabeling problems over a spatially continuous image domain, where the data fidelity term can be any bounded fun...
Jing Yuan, Egil Bae, Xuecheng Tai
103
Voted
TVLSI
2008
92views more  TVLSI 2008»
15 years 2 months ago
Reconfigurable Architecture for Network Flow Analysis
This paper describes a reconfigurable architecture based on field-programmable gate-array (FPGA) technology for monitoring and analyzing network traffic at increasingly high networ...
Sherif Yusuf, Wayne Luk, Morris Sloman, Naranker D...
124
Voted
SAS
2000
Springer
15 years 6 months ago
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
Abstract We carry out an experimental analysis for two of the design dimensions of flow-insensitive points-to analysis for C: polymorphic versus monomorphic and equality-based vers...
Jeffrey S. Foster, Manuel Fähndrich, Alexande...
108
Voted
JFP
2008
75views more  JFP 2008»
15 years 2 months ago
Exploiting reachability and cardinality in higher-order flow analysis
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
Matthew Might, Olin Shivers
128
Voted
ACSC
2002
IEEE
15 years 7 months ago
Alias Analysis for Exceptions in Java
We propose a flow-sensitive alias analysis algorithm that computes safe and efficient alias sets in Java. For that, we propose a references-set representation of aliased elements,...
Jehak Woo, Jongwook Woo, Isabelle Attali, Denis Ca...