3328 search results - page 96 / 666 » On Plateaued Functions and Their Constructions |
FLOPS
2006
Springer
14 years 19 days 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...
CHES
2008
Springer
13 years 11 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 ...
HICSS
2006
IEEE
14 years 3 months 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...
ICRA
2003
IEEE
14 years 2 months 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-ï¬...
DAC
1998
ACM
14 years 1 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...