2756 search results - page 313 / 552 » Computation-Centric Memory Models |
125
click to vote
SAT
2004
Springer
15 years 10 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
123
click to vote
ARITH
2003
IEEE
15 years 10 months ago
2003
IEEE
This work uses a partially redundant number system as an internal format for floating point arithmetic operations. The redundant number system enables carry free arithmetic opera...
159
click to vote
CA
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a system for the automatic generation of bottom-up visual attention behaviours in virtual humans. Bottom-up attention refers to the way in which the environment solicit...
116
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
A trace of a workload’s system calls can be obtained with minimal interference, and can be used to drive repeatable experiments to evaluate system configuration alternatives. R...
120
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...