3007 search results - page 382 / 602 » Linear Functional Fixed-points |
124
click to vote
ITP
2010
15 years 7 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
136
click to vote
ICANN
2007
Springer
15 years 7 months ago
2007
Springer
In todays bioinformatics, Mass spectrometry (MS) is the key technique for the identification of proteins. A prediction of spectrum peak intensities from pre computed molecular feat...
129
Voted
ASIACRYPT
2006
Springer
15 years 7 months ago
2006
Springer
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...
110
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Tile-based data layout has been applied to achieve various objectives such as minimizing cache conflicts and memory row switching activity. In some applications of tilebased mappi...
127
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...