1872 search results - page 272 / 375 » Unbalanced Cache Systems |
137
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
125
Voted
ISPASS
2005
IEEE
15 years 8 months ago
2005
IEEE
We introduce a fast and accurate technique for initializing the directory and cache state of a multiprocessor system based on a novel software structure called the memory timestam...
142
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
134
Voted
SAT
2005
Springer
15 years 8 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
110
Voted
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
Discovering associations between elements occurring in a stream is applicable in numerous applications, including predictive caching and fraud detection. These applications requir...