Irreversibility and Heat Generation in the Computing Process
From MaRDI portal
Publication:3629225
DOI10.1147/RD.53.0183zbMath1160.68305DBLPjournals/ibmrd/Landauer61OpenAlexW4233798822WikidataQ30040210 ScholiaQ30040210MaRDI QIDQ3629225
Publication date: 27 May 2009
Published in: IBM Journal of Research and Development (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1147/rd.53.0183
Related Items (only showing first 100 items - show all)
A novel design of reversible quantum multiplier based on multiple-control Toffoli synthesis ⋮ Toys can’t play: physical agents in Spekkens’ theory ⋮ The reversibility paradox: role of the velocity reversal step ⋮ Mathematical etudes on quantum computation ⋮ Total versus quantum correlations in a two-mode Gaussian state ⋮ Information and the Reconstruction of Quantum Physics ⋮ The importance of thermodynamics for molecular systems, and the importance of molecular systems for thermodynamics ⋮ Phase spaces that cannot be cloned in classical mechanics ⋮ Energy efficient sorting, selection and searching ⋮ Reverse bisimilarity vs. forward bisimilarity ⋮ The free energy principle made simpler but not too simple ⋮ Descriptive Complexity of Reversible Languages Having Finitely Many Reduced Automata ⋮ Weakly and Strongly Irreversible Regular Languages ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ A Perspective on Lindblad’s Non-Equilibrium Entropy ⋮ Reversing Unbounded Petri Nets ⋮ Multi-type-output assisted cloning of unknown single-qubit states ⋮ Energy complexity of computation ⋮ Towards a taxonomy for reversible computation approaches ⋮ Optimization of reversible control flow graphs ⋮ Revisiting the Monge problem in the Landauer limit ⋮ Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} ⋮ Second Thoughts on the Second Law ⋮ A fundamental lower bound of the cost for bit reset ⋮ Reversible Top-Down Syntax Analysis ⋮ Full counting statistics approach to the quantum non-equilibrium Landauer bound ⋮ Reversible debugging in logic programming ⋮ Quantum cost optimization algorithm for entanglement-based asymmetric quantum error correction ⋮ Quantum heat engine with level degeneracy for oscillator-shaped potential well ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ Energy complexity of regular languages ⋮ Thermodynamic model for feedback control of systems with uncertain macroscopic states ⋮ Unnamed Item ⋮ Energy efficient sorting, selection and searching ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Derivation of non-classical variational principles in the theory of elasticity ⋮ Distribution of eigenvalues and the Green functions of degenerated elliptic differential operators ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Finite automata with undirected state graphs ⋮ Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics ⋮ Unnamed Item ⋮ Some properties of completely decomposable torsion free Abelian groups ⋮ On the possibility of representation of a system of equations by nomograms with oriented transparency ⋮ A generalization of the Carathéodory theory of differential equations ⋮ Quantum simulations of classical random walks and undirected graph connectivity ⋮ Nonlinear elliptic equations ⋮ Solution of linear algebraic equations with 3-diagonal ill-conditioned system matrix ⋮ One generalization of the dynamic programming problem ⋮ An axiomatic theory for reversible computation ⋮ Capital mobility, quasi-rents, and the competitive self-organization of distributions of profitability ⋮ Computing with energy and chemical reactions ⋮ Branching bisimulation semantics enables noninterference analysis of reversible systems ⋮ Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity ⋮ Causal reversibility implies time reversibility ⋮ The complexity of iterated reversible computation ⋮ Assisted cloning of an arbitrary unknown \(d\)-dimension state ⋮ The thermodynamic cost of choosing ⋮ Quantum measurement engines and their relevance for quantum interpretations ⋮ The Bellman equation and optimal local flipping strategies for kinetic Ising models ⋮ Unnamed Item ⋮ Quantum engines and refrigerators ⋮ Compositional reversible computation ⋮ Reversibility with holes (work in progress) ⋮ Exploring the energy overhead of reversible programs executed on irreversible hardware ⋮ Jeopardy: an invertible functional programming language ⋮ Connecting reversible and classical computing through hybrid SSA ⋮ Virtual time III. I: Unified virtual time synchronization for parallel discrete event simulation ⋮ Towards quantum computational mechanics ⋮ Bennett and Stinespring, together at last ⋮ Categorical semantics of reversible pattern-matching ⋮ Join inverse rig categories for reversible functional programming, and beyond ⋮ Termination of rewriting on reversible Boolean circuits as a free 3-category problem ⋮ Transducing reversibly with finite state machines ⋮ Transducing reversibly with finite state machines ⋮ On the structure of lower radical semigroups ⋮ Entanglement and electron correlation in quantum chemistry calculations ⋮ Entanglement and electron correlation in quantum chemistry calculations ⋮ Unnamed Item ⋮ Minimising the heat dissipation of quantum information erasure ⋮ Identifying functional thermodynamics in autonomous Maxwellian ratchets ⋮ The thermodynamic cost of quantum operations ⋮ Optimal work extraction and the minimum description length principle ⋮ On ergotropic gap of tripartite separable systems ⋮ The Physical Meaning of the Holographic Principle ⋮ Reversibility in the higher-order \(\pi\)-calculus ⋮ The remote Maxwell demon as energy down-converter ⋮ Entropy and computation: the Landauer-Bennett thesis reexamined ⋮ Conditioning, correlation and entropy generation in Maxwell's demon ⋮ All shook up: fluctuations, Maxwell's demon and the thermodynamics of computation ⋮ Beyond Landauer erasure ⋮ Non-equilibrium statistical mechanics inspired by modern information theory
This page was built for publication: Irreversibility and Heat Generation in the Computing Process
