Titlebook: Reversible Computation; 5th International Co Gerhard W. Dueck,D. Michael Miller Conference proceedings 2013 Springer-Verlag Berlin Heidelbe

漂泊

0302-9743 ical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies.978-3-642-38985-6978-3-642-38986-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

Forage飼料

0302-9743 roceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on phys

detach

寬容

FLOUR

dearth

礦石

conformity

Comparing CMOS-Based and NEMS-Based Adiabatic Logic Circuitss model will give an honest analytical depiction of the NEMS-based adiabatic circuits. The performance of NEMS-based circuits compares favorably with that of CMOS-based circuits. To the best knowledge of the authors, this is the first reported detailed comparison between NEMS and CMOS devices for adiabatic circuits.

FACET

合群

Reversible Representation and Manipulation of Constructor Terms in the Heapp of a reversible machine. We also give methods for enforcing the so-called . for a simplified version of the recent reversible functional language . by Yokoyama ., and simple methods to support let-calls via stack environments.