{ "item_title" : "Reversible Computation", "item_author" : [" Jean Krivine", "Jean-Bernard Stefani "], "item_description" : "Invited Paper.- Moment Semantics for Reversible Rule-Based Systems.- Reversible machines.- A Hierarchy of Fast Reversible Turing Machines.- Real-time methods in reversible computation.- Reversible Ordered Restarting Automata.- Reversible Languages.- Garbage Collection for Reversible Functional Languages.- Reverse Code Generation for Parallel Discrete Event Simulation.- Towards a Domain-Specific Language for Reversible Assembly Sequences.- Design and verification of quantum circuits.- Reversibility in Extended Measurement-based Quantum Computation.- A Fully Fault-Tolerant Representation of Quantum Circuits.- Equational reasoning about quantum protocols.- Design of reversible circuits.- Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking.- Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits.- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics.- Circuit Synthesis.- Technology Mapping for Single Target Gate based Circuits using Boolean Functional Decomposition.- Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits.- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions.- Short Papers.- Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits.- A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level.- Towards modelling of local reversibility.- Application of Functional Decomposition in Synthesis of Reversible Circuits.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/31/920/859/3319208594_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details