1058 search results - page 92 / 212 » Search Strategies for Automatic Performance Analysis Tools |
MFCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce nondeterministic graph searching with a controlled amount of nondeterminism and show how this new tool can be used in algorithm design and combinatorial anal...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
With the increasing importance of search in guiding today's web traffic, more and more effort has been spent to create search engine spam. Since link analysis is one of the m...
ENTCS
2010
14 years 7 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
105
click to vote
JCDL
2003
ACM
15 years 3 months ago
2003
ACM
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
The explosion of the amount of information available in digital form has made search a hot research topic for the Information Management Community. While most of the research on s...