2194 search results - page 410 / 439 » Improving HLRTA*( k ) |
WWW
2004
ACM
16 years 14 days ago
2004
ACM
We seek to gain improved insight into how Web search engines should cope with the evolving Web, in an attempt to provide users with the most up-to-date results possible. For this ...
182
click to vote
ICFP
2009
ACM
16 years 13 days ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
180
click to vote
ASPLOS
2009
ACM
16 years 13 days ago
2009
ACM
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...
234
click to vote
ASPLOS
2009
ACM
16 years 13 days ago
2009
ACM
To improve the performance of a single application on Chip Multiprocessors (CMPs), the application must be split into threads which execute concurrently on multiple cores. In mult...
CAV
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...