Results 31 to 40 of about 88,998 (215)
Improved Circuit Synthesis with Multi-Value Bootstrapping for FHEW-like Schemes
Transactions on Cryptographic Hardware and Embedded SystemsIn recent years, the research community has made great progress in improving techniques for privacy-preserving computation, such as fully homomorphic encryption (FHE).
Johannes Mono +2 more
doaj +1 more source
ComputationThis paper proposes the use of a polynomial code for synthesizing self-checking digital devices. The code is chosen for its error detection characteristics in data symbols and is used for Boolean signals correction in embedded control circuits.
Dmitry V. Efanov +5 more
doaj +1 more source
Parallelizing quantum circuit synthesis
Quantum Science and Technology, 2016 Quantum circuit synthesis is the process in which an arbitrary unitary operation is decomposed into a sequence of gates from a universal set, typically one which a quantum computer can implement both efficiently and fault-tolerantly. As physical implementations of quantum computers improve, the need is growing for tools which can effectively synthesize
Di Matteo, Olivia, Mosca, Michele
openaire +2 more sources
A Transformation-Based Quantum Physical Synthesis Approach for Nearest-Neighbor Architectures
Quantum Reports, 2021 The physical synthesis concept for quantum circuits, the interaction between synthesis and physical design processes, was first introduced in our previous work.
Golriz Hoseinimanesh +1 more
doaj +1 more source
Algorithms for partitioning logical circuits into subcircuits
Informatika, 2020 The problem of partitioning a logical circuit into subcircuits is considered. It is of great importance when performing optimization transformations in the process of circuit synthesis.
N. A. Kirienko
doaj +1 more source
SAT-based methods for circuit synthesis [PDF]
2014 Formal Methods in Computer-Aided Design (FMCAD), 2014 Reactive synthesis supports designers by automatically constructing correct hardware from declarative specifications. Synthesis algorithms usually compute a strategy, and then construct a circuit that implements it. In this work, we study SAT- and QBF-based methods for the second step, i.e., computing circuits from strategies.
Bloem, Roderick +4 more
openaire +2 more sources
Extended Darlington Synthesis of Fractional Order Immittance Function With Two Element Orders
IEEE Access, 2019 Actual circuits have fractional order characteristics essentially. With the widespread application of fractional order circuits and the great strides in the manufacturing of fractional order elements in recent years, passive synthesis of fractional order
Guishu Liang, Zheng Qi
doaj +1 more source
Logical Clifford Synthesis for Stabilizer Codes
IEEE Transactions on Quantum Engineering, 2020 Quantum error-correcting codes are used to protect qubits involved in quantum computation. This process requires logical operators to be translated into physical operators acting on physical quantum states.
Narayanan Rengaswamy +3 more
doaj +1 more source
Output-Determinacy and Asynchronous Circuit Synthesis [PDF]
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007 Summary: Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of non-deterministic STGs with dummies and OR-causality. For this, we introduce the concept of output-determina\-cy, which is a relaxation of determinism, and argue that it is ...
Khomenko V, Schaefer M, Vogler W
openaire +4 more sources
ACTIVE SHIELDING OF MAGNETIC FIELD WITH CIRCULAR SPACE-TIME CHARACTERISTIC
Electrical engineering & Electromechanics, 2020 Aim. The synthesis of two degree of freedom robust two circuit system of active shielding of magnetic field with circular space-time characteristic, generated by overhead power lines with «triangle» type of phase conductors arrangements for reducing the ...
B. I. Kuznetsov +5 more
doaj +1 more source