Results 31 to 40 of about 240,562 (189)
Concise Quantum Associative Memories with Nonlinear Search Algorithm
, 2015 The model of quantum associative memories (QAM) we propose here consists in simplifying and generalizing that of Rigui Zhou \etal \cite{zhou2012} who uses the quantum matrix with binary decision diagram and nonlinear search algorithm in his model.
Engo, S. G. Nana, Njafa, J. -P. Tchapet
core +1 more source
Efficient pairing-free CP-ABE based on ordered binary decision diagram
Tongxin xuebao, 2019 To improve the computational efficiency of ABE,its access structure was optimized and a pairing-free CP-ABE scheme based on ordered binary decision diagram (OBDD) was proposed.Based on the elliptic curve cryptography,the complex bilinear pairing ...
Sheng DING, Jin CAO, Hui LI
doaj +2 more sources
A bi-level model of dynamic traffic signal control with continuum approximation [PDF]
, 2015 This paper proposes a bi-level model for traffic network signal control, which is formulated as a dynamic Stackelberg game and solved as a mathematical program with equilibrium constraints (MPEC).
Friesz, TL +4 more
core +1 more source
Attribute-based encryption scheme against key abuse based on OBDD access structure from lattice
Tongxin xuebao, 2023 In order to solve the key security problem in attribute-based encryption, a ciphertext policy attribute-based encryption scheme against key abuse was proposed based on the ring learning with error over ring and the access structure of ordered binary ...
Yiliang HAN +3 more
doaj +2 more sources
On the Error Resilience of Ordered Binary Decision Diagrams [PDF]
, 2014 Ordered Binary Decision Diagrams (OBDDs) are a data structure that is used in an increasing number of fields of Computer Science (e.g., logic synthesis, program verification, data mining, bioinformatics, and data protection) for representing and ...
Bernasconi, Anna +2 more
core +3 more sources
Hardware implementation of Boolean functions based on the automaton model
Informatika, 2023 Objectives. Currently, electronic control devices are increasingly being introduced into various household and production products. Microcontrollers of a wide variety of configurations are widely used as such devices.
A. A. Butov
doaj +1 more source
Binary Decision Diagrams by Shared Rewriting [PDF]
, 2000 In this paper we propose a uniform description of basic BDD theory and algorithms by means of term rewriting. Since a BDD is a DAG instead of a tree we need a notion of shared rewriting and develop appropriate theory. A rewriting system is presented by which canonical forms can be obtained. Various reduction strategies give rise to different algorithms.
Pol, J. van de, Zantema, H.
openaire +3 more sources
DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction [PDF]
, 2008 Recently much attention has been paid to quantum circuit design to prepare for the future "quantum computation era." Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circuits ...
Miller, D. Michael +2 more
core +2 more sources
Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2014 The goal of the production-planning problem is to find the optimal solution from combinations that satisfy constraints. Traditionally, production-planning problems have been treated separately, due to the problem size and complex constraints, whereas the
Keita TAKAHASHI +2 more
doaj +1 more source
Efficient parallel binary decision diagram construction using Cilk [PDF]
, 2000 Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.Includes bibliographical references (leaves 44-45).by David B.
Berman, David B. (David Benjamin), 1977-
core