Sciweavers

1361 search results - page 8 / 273
» Boolean Comparison by Simulation
Sort
View
80
Voted
MSWIM
2003
ACM
15 years 2 months ago
A comparison of network and application layer multicast for mobile IPv6 networks
Anargyros Garyfalos, Kevin C. Almeroth, Joe Finney
92
Voted
GLVLSI
2008
IEEE
150views VLSI» more  GLVLSI 2008»
14 years 9 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 1 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 3 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 4 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...