(Enter summary)
Abstract: We investigate a new research area: we are interested in the ultimate thermodynamic
cost of computing from x to y. Other than its fundamental importance,
such research has potential implications in miniaturization of VLSI chips
and applications in pattern recognition.
It turns out that the theory of thermodynamic cost of computation can be
axiomatically developed. Our fundamental theorem connects physics to mathematics,
providing the key that makes such a theory possible. It establishes
optimal ... (Update)
Similar documents (at the sentence level):
21.7%: Theory of Thermodynamics of Computation - Li, Vitányi (1992)
(Correct)
11.0%: Algorithmic Arguments in Physics of Computation - Vitányi, Li
(Correct)
10.3%: Reversibility and Adiabatic Computation: Trading Time and Space.. - Ming Li (1996)
(Correct)
Active bibliography (related documents): More All
0.6: Information Distance - Bennett, Gács, Li.. (1997)
(Correct)
0.2: Parallel Quantum Computation - Margolus (1994)
(Correct)
0.2: Context-Based Similarity Applied to Retrieval of Relevant Cases - Jurisica (1994)
(Correct)
Similar documents based on text: More All
0.4: Independent Minimum Length Programs to Translate Between.. - Vereshchagin, Vyugin
(Correct)
0.1: The ADT Package for the Verbmobil Interface Term - Dorna (1999)
(Correct)
0.1: A Library Package for the Verbmobil Interface Term - Dorna (2000)
(Correct)
BibTeX entry: (Update)
@techreport{ li92mathematical,
author = "Ming Li and Paul M. B. Vit\'{a}nyi",
title = "Mathematical theory of thermodynamics of computation",
number = "CS-R9251",
month = "31,",
year = "1992",
url = "citeseer.ist.psu.edu/159866.html" }
Citations (may not include all citations):
293
Compression of individual sequences via variable-rate encodi..
- Ziv, Lempel - 1978
221
Introduction to VLSI Systems (context) - Mead, Conway - 1980
175
Logical reversibility of computation (context) - Bennett - 1973
159
Three approaches to the quantitative definition of informati.. (context) - Kolmogorov - 1965
116
Simulating physics with computers
- Feynman - 1982
95
Computer Science Press (context) - Storer, Method - 1988
86
Conservative logic (context) - Fredkin, Toffoli - 1982
75
Irreversibility and heat generation in the computing process (context) - Landauer - 1961
65
The complexity of finite objects and the development of the .. (context) - Zvonkin, Levin - 1970
59
The thermodynamics of computation---a review (context) - Bennett - 1982
49
Kolmogorov complexity and its applications (context) - Li, Vit'anyi - 1990
45
the symmetry of algorithmic information (context) - G'acs - 1974
30
Reversible computing (context) - Toffoli - 1980
28
Compression and ranking (context) - Goldberg, Sipser - 1991
23
The fundamental physical limits of computation (context) - Bennett, Landauer - 1985
21
Parallel quantum computation
- Margolus - 1991
12
Collected Works (context) - von Neumann - 1963
12
algorithmic complexity and the information metric (context) - Zurek, of - 1989
11
Quantum mechanical Hamiltonian models of discrete processes .. (context) - Benioff - 1982
8
Classical and quantum limitations on energy consumption on c.. (context) - Likharev - 1982
7
Quantum mechanical Hamiltonian models of computers (context) - Benioff - 1986
7
Minimal energy dissipation in logic (context) - Keyes, Landauer - 1970
4
Pattern recognition (context) - Watanabe - 1985
2
California Institue of Technology (context) - Schweizer, Abu-Mostafa et al. - 1988
2
Dissipation-error tradeoff in proofreading (context) - Bennett - 1979
Documents on the same site (http://www.cwi.nl/~paulv/publications.html): More
Randomized Naming Using Wait-Free Shared Variables - Panconesi, Papatriantafilou, .. (1998)
(Correct)
On Two-Tape Real-Time Computation and Queues - Vitányi
(Correct)
A Discipline of Evolutionary Programming - Vitányi (1996)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC