Dimensional and functional scaling 1 1 Functional Scaling: Suppose that a system has been
realized to execute a specific function in a given, currently available, technology. We say that …

Reversible logic gates were previously implemented in superconducting circuits as
adiabatic-reversible gates, which are powered with a sufficiently slow clock. In contrast, we …

We analyze the computational complexity of motion planning through local “input/output”
gadgets with separate entrances and exits, and a subset of allowed traversals from …

We introduce a fast and highly efficient physically realizable bit swap. Employing readily
available and scalable Josephson junction microtechnology, the design implements the …

In a previous paper, we described a new abstract circuit model for reversible computation
called asynchronous ballistic reversible computing (ABRC), in which localized information …

The reversible computation paradigm aims to provide a new foundation for general classical
digital computing that is capable of circumventing the thermodynamic limits to the energy …

Reversible logic can provide lower switching-energy costs relative to all irreversible logic,
including those developed by industry in semiconductor circuits; however, more research is …

We prove PSPACE-completeness of several reversible, fully deterministic systems. At the
core, we develop a framework for such proofs (building on a result of Tsukiji and Hagiwara …

This thesis develops a framework for proving computational complexity results about motion
planning problems. The model captures reactive environments with local interaction. We …

The goal of this International Roadmap for Devices and Systems (IRDS) chapter is to survey,
catalog, and assess the status of technologies in the areas of cryogenic electronics and …