Notes on the history of reversible computation
IBM Journal of Research and Development
What computing is all about
Practical implementation of charge recovering asymptotically zero power CMOS
Proceedings of the 1993 symposium on Research on integrated systems
Low-power digital systems based on adiabatic-switching principles
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special issue on low-power design
Reversible simulation of one-dimensional irreversible cellular automata
Theoretical Computer Science
Universality of a reversible two-counter machine
Theoretical Computer Science - Special issue on universal machines and computations
Journal of Computer and System Sciences
Introduction to Circuit Complexity: A Uniform Approach
Introduction to Circuit Complexity: A Uniform Approach
Membrane Computing: An Introduction
Membrane Computing: An Introduction
The Bhopalator: an information/energy dual model of the living cell (II)
Fundamenta Informaticae - Membrane computing
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Simulating Boolean Circuits on a DNA Computer
Simulating Boolean Circuits on a DNA Computer
The conformon-P system: a molecular and cell biology-inspired computability model
Theoretical Computer Science
Sequential p systems with unit rules and energy assigned to membranes
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Three "quantum" algorithms to solve 3-SAT
Theoretical Computer Science
Membrane Computing
(UREM) P systems with a quantum-like behavior: background, definition, and computational power
WMC'07 Proceedings of the 8th international conference on Membrane computing
Membrane computing as a modeling framework: cellular systems case studies
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Computing with energy and chemical reactions
Natural Computing: an international journal
Reversibility and determinism in sequential multiset rewriting
UC'10 Proceedings of the 9th international conference on Unconventional computation
Sequential and maximally parallel multiset rewriting: reversibility and determinism
Natural Computing: an international journal
Energy-Based models of p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
On reversibility and determinism in p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Properties of membrane systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
| Hi-index | 0.00 |
We introduce energy-based P systems as a parallel and distributed model of computation in which the amount of energy manipulated and/or consumed during computations is taken into account. Basing upon the seminal paper of Fredkin and Toffoli on conservative logic, we first show how energy-based P systems can be used to simulate the Fredkin gate, a reversible and conservative three-input/three-output boolean gate which is functionally complete for boolean logic. Then, we show how any reversible Fredkin circuit can be simulated by energy-based P systems whose number of membranes is independent of the number of gates occurring in the simulated circuit. The simulating P systems turn out to be themselves reversible and conservative.