3328 search results - page 96 / 666 » On Plateaued Functions and Their Constructions |
191
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
172
click to vote
CHES
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The security challenges posed by RFID-tag deployments are wellknown. In response there is a rich literature on new cryptographic protocols and an on-tag hash function is ...
174
click to vote
HICSS
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
159
click to vote
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
– Borrowing a concept from hydrodynamic analysis, this paper presents stream functions which satisfy Laplace’s equation as a local-minima free method for producing potential-ï¬...
161
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
Recently, functional decomposition has been adopted for LUT based FPGA technology mapping with good results. In this paper, we propose a novel method for functional multipleoutput...