5 papers
Reversible Bond Logic
Hannah Earley
The field of molecular programming allows for the programming of the structure and behavior of matter at the molecular level, even to the point of encoding arbitrary computation. H…
A Universal Constraint on Computational Rates in Physical Systems
Hannah Earley
Conventional computing has many sources of heat dissipation, but one of these--the Landauer limit--poses a fundamental lower bound of 1 bit of entropy per bit erased. 'Reversible C…
The -Calculus: A declarative model of reversible programming
Hannah Earley
A novel model of reversible computing, the -calculus, is introduced. It is declarative, reversible-Turing complete, and has a local term-rewriting semantics. Unlike previou…
On the performance and programming of reversible molecular computers
Hannah Amelie Earley
If the 20th century was known for the computational revolution, what will the 21st be known for? Perhaps the recent strides in the nascent fields of molecular programming and biolo…
Engines of Parsimony: Part III; Performance Trade-offs for Reversible Computers Sharing Resources
Hannah Earley
This paper concludes a three-Part series on the limits the laws of physics place on the sustained performance of reversible computers. Part I concerned aggregate performance in ter…