1945 search results - page 119 / 389 » Speeding up Serpent |
131
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
We present the pervasive game Insectopia, which have been designed by the approach of utilizing commercially available mobile phones to provide context-dependent gameplay. The des...
138
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Assignment stack shrinking is a technique that is intended to speed up the performance of modern complete SAT solvers. Shrinking was shown to be efficient in SAT’04 competition w...
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...
201
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...