3328 search results - page 198 / 666 » On Plateaued Functions and Their Constructions |
147
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Graph-Spectral surface integration techniques construct an integration path assuming that the surface contains a path along which the integration error is minimal. This paper pres...
139
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
157
click to vote
ASPDAC
2006
ACM
16 years 16 days ago
2006
ACM
- We propose a method of enhancing the reusability of the component IPs by separating communication and computation for a system function. In this approach, we assume that the comp...
145
click to vote
ACNS
2005
Springer
16 years 3 days ago
2005
Springer
We present Badger, a new fast and provably secure MAC based on universal hashing. In the construction, a modified tree hash that is more efficient than standard tree hashing is us...
158
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...