1945 search results - page 22 / 389 » Speeding up Serpent |
ICALP
2001
Springer
13 years 12 months ago
2001
Springer
GLVLSI
2000
IEEE
13 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
ISLPED
2000
ACM
13 years 11 months ago
2000
ACM
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...
CIAC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Byte pair encoding (BPE) is a simple universal text compression scheme. Decompression is very fast and requires small work space. Moreover, it is easy to decompress an ar...
ISAAC
1998
Springer
13 years 11 months ago
1998
Springer