535 search results - page 8 / 107 » The Cache Performance and Optimizations of Blocked Algorithm... |
104
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
101
click to vote
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
On chip memories provide fast and energy efficient storage for code and data in comparison to caches or external memories. We present techniques and algorithms that allow for an au...
101
click to vote
USENIX
2007
15 years 1 months ago
2007
This paper focuses on evaluation of the effectiveness of optimization at various layers of the IO path, such as the file system, the device driver scheduler, and the disk drive i...
102
click to vote
TC
2008
14 years 11 months ago
2008
Recent studies have shown that, in highly associative caches, the performance gap between the Least Recently Used (LRU) and the theoretical optimal replacement algorithms is large,...
102
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Multimedia object caching, by which the same multimedia object can be adapted to diverse mobile appliances through the technique of transcoding, is an important technology for imp...