2501 search results - page 426 / 501 » Logics with Rank Operators |
136
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...
148
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
150
Voted
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
129
click to vote
ANCS
2006
ACM
15 years 10 months ago
2006
ACM
Clos networks are an important class of switching networks due to their modular structure and much lower cost compared with crossbars. For routing I/O permutations of Clos network...
116
click to vote
CF
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present a nano-scale reconfigurable mesh that is interconnected with ferromagnetic spin-wave buses. The architecture described here, while requiring the same num...