LINE 发表于 2025-3-23 11:06:17

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

斑驳 发表于 2025-3-23 14:08:33

http://reply.papertrans.cn/83/8295/829410/829410_12.png

婚姻生活 发表于 2025-3-23 19:54:26

http://reply.papertrans.cn/83/8295/829410/829410_13.png

发表于 2025-3-23 22:19:34

http://reply.papertrans.cn/83/8295/829410/829410_14.png

Limited 发表于 2025-3-24 05:54:29

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

语言学 发表于 2025-3-24 10:06:41

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

连锁 发表于 2025-3-24 11:49:07

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

鸵鸟 发表于 2025-3-24 18:32:22

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 发表于 2025-3-24 20:50:49

http://reply.papertrans.cn/83/8295/829410/829410_19.png

Infant 发表于 2025-3-25 00:30:41

http://reply.papertrans.cn/83/8295/829410/829410_20.png
页: 1 [2] 3 4 5
查看完整版本: Titlebook: Reversible Computation; Third International Alexis Vos,Robert Wille Conference proceedings 2012 Springer-Verlag Berlin Heidelberg 2012 log