Titlebook: Reversible Computation; Third International Alexis Vos,Robert Wille Conference proceedings 2012 Springer-Verlag Berlin Heidelberg 2012 log

LINE

Towards a Reversible Functional Language, injectivity along with local backward determinism, an important operational property for an efficient reversible language. We define a concise reversible first-order functional language in which access to the backward semantics is provided to the programmer by inverse function calls. Reversibility

斑駁

婚姻生活

斜

Limited

Transforming MCT Circuits to NCVW Circuits,. The library containing NOT, controlled-NOT and controlled square-root-of-NOT gates has been considered extensively. In this paper, we extend the library to include fourth-root-of-NOT gates. Experimental results using REVLIB benchmark circuits show that using this extended library results in smalle

語言學(xué)

Changing the Gate Order for Optimal LNN Conversion,tion processing should have intrinsic limitations; physically realizable operations would be only interaction between neighbor qubits. To use only such physically realizable operations, we need to convert a general quantum circuit into one for an so-called Linear Nearest Neighbor (LNN) architecture

連鎖

Towards the Limits of Cascaded Reversible (Quantum-Inspired) Circuits,hat . may be used for reversible linear computations. In order for this new technology to be used in commercial applications, several questions have to be answerd first. In particular, the number of gates possibly cascaded, the maximum reachable frequency, the maximum acceptable delays and amplitude

鴕鳥

Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits,ation. This, however, raises new issues regarding the compatibility between this adiabatic logic implementation and conventional CMOS logic. The greatest difficulty is brought by the difference in signal shape used by these two logic families. Whereas standard switching CMOS circuits are operated by

Metastasis

Infant