Results 11 to 20 of about 240,562 (189)
Compressing Binary Decision Diagrams
, 2008 The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and compression will in many cases reduce the size of the BDD to 1-2 bits per node.
Hansen, Esben Rune +2 more
openaire +4 more sources
Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems [PDF]
, 2006 An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
Akesson, Knut +3 more
core +2 more sources
Binary Decision Diagrams: from Tree Compaction to Sampling
, 2020 Any Boolean function corresponds with a complete full binary decision tree. This tree can in turn be represented in a maximally compact form as a direct acyclic graph where common subtrees are factored and shared, keeping only one copy of each unique ...
A Genitrini +9 more
core +1 more source
IET Computers & Digital Techniques, 2021 Memristors are two‐terminal nano‐electronic devices that make it possible to design non‐volatile memory and logic circuits with high integration density.
Anindita Chakraborty +5 more
doaj +1 more source
Partial binary decision diagrams [PDF]
Proceedings of the Thirty-Fourth Southeastern Symposium on System Theory (Cat. No.02EX540), 2003 Decision diagrams provide compact representations for discrete functions. There are some functions for which binary decision diagrams reach exponential size. Presented here is a method of representing Boolean functions as multiple partial decision diagrams.
W.J. Townsend, M.A. Thornton
openaire +1 more source
Nonequilibrium Opinion Spreading on 2D Small-World Networks [PDF]
, 2007 Irreversible opinion spreading phenomena are studied on small-world networks generated from 2D regular lattices by means of the magnetic Eden model, a nonequilibrium kinetic model for the growth of binary mixtures in contact with a thermal bath.
Candia, Julián
core +2 more sources
A Ciphertext-Policy Attribute-Based Encryption Based on an Ordered Binary Decision Diagram
IEEE Access, 2017 Ciphertext-policy attribute-based encryption (CP-ABE) is widely used in many cyber physical systems and the Internet of Things for guaranteeing information security.
Long Li +5 more
doaj +1 more source
Gate-Level Simulation of Quantum Circuits [PDF]
, 2002 While thousands of experimental physicists and chemists are currently trying to build scalable quantum computers, it appears that simulation of quantum computation will be at least as critical as circuit simulation in classical VLSI design.
George F. Viamontes +4 more
core +5 more sources
Synthesis of parallel adders from if-decision diagrams
Системный анализ и прикладная информатика, 2020 Addition is one of the timing critical operations in most of modern processing units. For decades, extensive research has been done devoted to designing higher speed and less complex adder architectures, and to developing advanced adder implementation ...
A. A. Prihozhy
doaj +1 more source
QPSK Block-Modulation Codes for Unequal Error Protection [PDF]
, 1995 Unequal error protection (UEP) codes find applications in broadcast channels, as well as in other digital communication systems, where messages have different degrees of importance.
Lin, Shu, Morelos-Zaragoza, Robert H
core +2 more sources