دانلود کتاب Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

فهرست مطالب :

Front Matter....Pages -
Concurrency and Reversibility....Pages 1-14
Reversible Computing Using Adiabatic Superconductor Logic....Pages 15-25
Classical Control of Large-Scale Quantum Computers....Pages 26-39
Degrees of Reversibility for DFA and DPDA....Pages 40-53
Trace Complexity of Chaotic Reversible Cellular Automata....Pages 54-66
Arbitration and Reversibility of Parallel Delay-Insensitive Modules....Pages 67-81
Reference Counting for Reversible Languages....Pages 82-94
Constructive Reversible Logic Synthesis for Boolean Functions with Special Properties....Pages 95-110
RevVis: Visualization of Structures and Properties in Reversible Circuits....Pages 111-124
Templates for Positive and Negative Control Toffoli Networks....Pages 125-136
Minimal Designs of Reversible Sequential Elements....Pages 137-148
Quantum Circuit Optimization by Hadamard Gate Reduction....Pages 149-162
Mapping NCV Circuits to Optimized Clifford+ T Circuits....Pages 163-175
2D Qubit Layout Optimization for Topological Quantum Computation....Pages 176-188
Cross-Level Validation of Topological Quantum Circuits....Pages 189-200
Equivalence Checking in Multi-level Quantum Systems....Pages 201-215
BDD Operations for Quantum Graph States....Pages 216-229
Back Matter....Pages -