1687 search results - page 275 / 338 » Which pointer analysis should I use |
119
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
110
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Imaging has gained importance due to the improvements of performances in computer speed, media storage and network bandwidth. Along with this advancement, the fundamental issue of...
109
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
129
click to vote
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we present a novel near-duplicate document detection method that can easily be tuned for a particular domain. Our method represents each document as a real-valued s...
119
click to vote
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
In previous work we showed, by Walsh analysis, that summary statistics such as mean, variance, skew, and higher order statistics can be computed in polynomial time for embedded la...