1058 search results - page 32 / 212 » Search Strategies for Automatic Performance Analysis Tools |
IJDAR
2008
14 years 9 months ago
2008
As large quantity of document images is getting archived by the digital libraries, there is a need for an efficient search strategies to make them available as per users informatio...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
CP
2000
Springer
15 years 2 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
86
Voted
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...