Sciweavers

707 search results - page 39 / 142
» The Nonhomomorphicity of Boolean Functions
Sort
View
AHS
2006
IEEE
125views Hardware» more  AHS 2006»
14 years 2 months ago
Evolving Hardware with Self-reconfigurable connectivity in Xilinx FPGAs
Randomly connecting networks have proven to be universal computing machines. By interconnecting a set of nodes in a random way one can model very complicated non-linear dynamic sy...
Andres Upegui, Eduardo Sanchez
DATE
2006
IEEE
127views Hardware» more  DATE 2006»
14 years 2 months ago
A signal theory based approach to the statistical analysis of combinatorial nanoelectronic circuits
In this paper we present a method which allows the statistical analysis of nanoelectronic Boolean networks with respect to timing uncertainty and noise. All signals are considered...
Oliver Soffke, Peter Zipf, Tudor Murgan, Manfred G...
LPAR
2004
Springer
14 years 1 months ago
Evaluating QBFs via Symbolic Skolemization
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
Marco Benedetti
ICMCS
2000
IEEE
158views Multimedia» more  ICMCS 2000»
14 years 10 days ago
Visualization Methods for Personal Photo Collections: Browsing and Searching in the PhotoFinder
Software tools for personal photo collection management are proliferating, but they usually have limited searching and browsing functions. We implemented the PhotoFinder prototype...
Hyunmo Kang, Ben Shneiderman
EUROCRYPT
2000
Springer
13 years 11 months ago
Propagation Characteristics and Correlation-Immunity of Highly Nonlinear Boolean Functions
We investigate the link between the nonlinearity of a Boolean function and its propagation characteristics. We prove that highly nonlinear functions usually have good propagation p...
Anne Canteaut, Claude Carlet, Pascale Charpin, Car...