See this document in CiteSeerX!

Mathematical Theory of Thermodynamics of Computation  (Make Corrections)  
Ming Li, Paul M.B. Vitányi



  Home/Search   Context   Related

 
View or download:
cwi.nl/~paulv/paper...physcomp92full.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cwi.nl/~paulv/publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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