858 search results - page 117 / 172 » On the Salsa20 Core Function |
CHES
2009
Springer
14 years 9 months ago
2009
Springer
We demonstrate new techniques to speed up the Rijndael (AES) block cipher using vector permute instructions. Because these techniques avoid data- and key-dependent branches and mem...
HPCA
2006
IEEE
14 years 9 months ago
2006
IEEE
Parallel I/O plays a crucial role for most data-intensive applications running on massively parallel systems like Blue Gene/L that provides the promise of delivering enormous comp...
RECOMB
2003
Springer
14 years 9 months ago
2003
Springer
The correct interpretation of tandem mass spectra is a difficult problem, even when it is limited to scoring peptides against a database. De novo sequencing is considerably harder...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Recently, the C# and the VISUAL BASIC communities were tantalized by the advent of LINQ [18]--the Language INtegrated Query technology from Microsoft. LINQ represents a set of lan...