Sciweavers

1361 search results - page 8 / 273
» Boolean Comparison by Simulation
Sort
View
123
Voted
GLVLSI
2008
IEEE
150views VLSI» more  GLVLSI 2008»
15 years 1 months ago
Using unsatisfiable cores to debug multiple design errors
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
André Sülflow, Görschwin Fey, Rod...
ECAI
2004
Springer
15 years 5 months ago
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
Ofer Arieli
INDOCRYPT
2005
Springer
15 years 7 months ago
On the Algebraic Immunity of Symmetric Boolean Functions
In this paper, we analyse the algebraic immunity of symmetric Boolean functions. We identify a set of lowest degree annihilators for symmetric functions and propose an efficient al...
An Braeken, Bart Preneel
ICC
2009
IEEE
350views Communications» more  ICC 2009»
15 years 8 months ago
A Performance Comparison of Recent Network Simulators
—A widespread methodology for performance analysis in the field of communication systems engineering is network simulation. While ns-2 has established itself as virtually the st...
Elias Weingärtner, Hendrik vom Lehn, Klaus We...