3119 search results - page 491 / 624 » General Default Logic |
178
click to vote
ACL2
2006
ACM
16 years 12 days 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...
175
click to vote
ACL2
2006
ACM
16 years 12 days 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...
155
click to vote
ANCS
2006
ACM
16 years 12 days 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...
186
click to vote
ANCS
2006
ACM
16 years 12 days ago
2006
ACM
The increase of the web traffic has created the need for web switches that are able to balance the traffic to the server farms based on their contents (e.g. layer 7 switching). In...
149
click to vote
CF
2006
ACM
16 years 12 days 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...