1942 search results - page 122 / 389 » Speeding Up XTR |
158
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a new arithmetic reasoning calculus to speed up a SAT solver based on the Davis Putnam Longman Loveland (DPLL) procedure. It is based on an arithmetic bit level descrip...
202
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
180
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
Abstract-- In this paper, we introduce a novel architecture for constructing caches for lookup operations that are used in a variety of network processing applications. The disting...
153
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
185
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
We describe an enhanced version of the TWINKLE factoring device and analyse to what extent it can be expected to speed up the sieving step of the Quadratic Sieve and Number Field S...