This file is viewable as hypertext if accessed with an ".html" extension. To use this file in BibTeX you need to access it with the extension ".bib" and also include a "strings" bibliography file, such as shortstr.bib, to define the various abbreviations used here.
This preamble allows URLs to be formatted nicely. Don't remove this line before BibTeXing, or this file will cause TeX errors.
@Preamble{"\input /home/joule/mpf/env/tex/urls.sty"}
@Unpublished{Vieri96,
author = "Carlin Vieri",
title = "The Pendulum Instruction Set Architecture ({PISA})",
note = "MIT Reversible Computing Project internal memo.
{\url http://www.ai.mit.edu/~cvieri/pisa.ps}",
year = 1996,
month = may
}
@Unpublished{FrankAmmer97,
author = "Michael P. Frank and M. Josephine Ammer",
title = "Separations of reversible and irreversible
space-time complexity classes",
note = "Extended abstract, to be revised for submission to CCC-98.
{\url http://www.ai.mit.edu/~mpf/rc/memos/M06_oracle.html}",
year = 1997
}
@Unpublished{mpf-qc,
author = "Michael P.~Frank",
title = "Quantum Computation Primitives",
note = "Area exam paper,
{\url http://www.ai.mit.edu/~mpf/qcpaper.html}",
year = 1996,
month = feb
}
@Misc{physical,
author = "Michael P.~Frank",
title = "Physically-motivated models of
computation for complexity theory",
howpublished = "Manuscript under development",
year = 1997,
month = mar,
note = "{\url http://www.ai.mit.edu/~mpf/rc/memos/M05_physical.html}"
}
Michael P. Frank and Thomas F. Knight, Jr. (1997) "Ultimate Theoretical Models of Nanocomputers" Presented at The Fifth Foresight Conference on Molecular Nanotechnology, Palo Alto, CA, Nov. 1997. Submitted to the journal Nanotechnology. http://www.ai.mit.edu/~mpf/Nano97/abstract.html.
@misc{Frank-Knight-97,
author = "Michael P.~Frank and Knight, Jr., Thomas F.",
title = "Ultimate Theoretical Models of Nanocomputers",
howpublished = "Presented at the Fifth Foresight Conference on
Molecular Nanotechnology, Palo Alto, CA, "#nov#"\ 1997.
{\url http://www.ai.mit.edu/~mpf/Nano97/paper.html}.
Submitted to {\em Nanotechnology}",
}
Michael P. Frank, Thomas F. Knight, Jr., and Norman H. Margolus (1998) "Reversibility in optimally scalable computer architectures." To be presented at the First International Conference on Unconventional Models of Computation (UMC-98), Auckland, New Zealand, Jan. 1998. http://www.ai.mit.edu/~mpf/rc/scaling_paper/scaling.html .
@InProceedings{Frank-etal-98,
author = "Michael P.~Frank and Knight, Jr., Thomas F. and
Norman H.~Margolus",
title = "Reversibility in optimally scalable computer architectures",
crossref = "UMC-98",
pages = "165--182",
note = "{\url http://www.ai.mit.edu/~mpf/rc/scaling_paper/scaling.html}"
}
@InProceedings{Frank-etal-98a,
author = "Michael P.~Frank and Carlin Vieri and M. Josephine Ammer
and Nicole Love and Norman H. Margolus and
Knight, Jr., Thomas F.",
title = "A Scalable Reversible Computer in Silicon",
crossref = "UMC-98",
pages = "183--200",
note = "{\url http://www.ai.mit.edu/~mpf/rc/flattop/ft.html}"
}
@InProceedings{Vieri-etal-98,
author = "Carlin Vieri and M. Josephine Ammer and Amory Wakefield
and Lars ``Johnny'' Svensson and William Athas
and Knight, Jr., Thomas F.",
title = "Designing Reversible Memory",
crossref = "UMC-98",
pages = "386--405",
note = ""
}
Michael P. Frank (1998) "Reversibility for Efficient Computing." Ph.D. Thesis, Massachusetts Institute of Technology, Jan. 1998. Currently being written.
@PhdThesis{Frank-98,
author = "Michael P.~Frank",
title = "Reversibility for Efficient Computing",
school = MIT,
address = "Cambridge, MA",
month = jan,
year = 1998,
note = "Currently being written.
{\url http://www.ai.mit.edu/~mpf/rc/thesis/phdthesis.html}"
}
@InProceedings{yk2,
AUTHOR = "Younis, S. G. and Knight, Jr., T. F.",
TITLE = "Asymptotically Zero Energy Split-Level Charge Recovery Logic",
BOOKTITLE = "International Workshop on Low Power Design",
YEAR = 1994,
PAGES = "177--182" }
@InProceedings{yk3,
AUTHOR = "Younis, S. G. and Knight, Jr., T. F.",
TITLE = "Harmonic Resonant Rail Drivers for Adiabatic Logic",
BOOKTITLE = "Proceedings of the 1995 Symposium on Advanced Research
in VLSI",
PUBLISHER = "MIT Press",
YEAR = 1995 }
@PhDThesis{you,
AUTHOR = "S. G. Younis",
TITLE = "Asymptotically Zero Energy Computing Using Split-Level Charge
Recovery Logic",
SCHOOL = "MIT Artificial Intelligence Laboratory",
YEAR = 1994 }
@PhDThesis{marg,
AUTHOR = "N. H. Margolus",
TITLE = "Physics and Computation",
SCHOOL = "MIT Artificial Intelligence Laboratory",
YEAR = 1988 }
@INPROCEEDINGS{horo,
AUTHOR = "T. Indermaur and M. Horowitz",
TITLE = "Evaluation of Charge Recovery Circuits and Adiabatic Switching
for Low Power {CMOS} Design",
BOOKTITLE = "Low Power Electronics",
YEAR = 1994,
PAGES = "102--103" }
@MastersThesis{vieri,
AUTHOR = "Carlin J. Vieri",
TITLE = "Pendulum: A Reversible Computer Architecture",
SCHOOL = "MIT Artificial Intelligence Laboratory",
YEAR = 1995 }
@Misc{memom1,
author = "Michael Frank",
title = "Time-Symmetric Control-Flow Instructions
for Less Garbage in Reversible Programs",
howpublished = "Online draft memo",
year = 1996,
month = feb,
note = "{\url http://www.ai.mit.edu/~mpf/rc/memos/M01_symmarch.html}"
}
@Misc{memom7,
author = "Michael P. Frank",
title = "Modifications to {PISA} architecture to support
guaranteed reveribility and other features",
howpublished = "Online draft memo",
year = 1997,
month = "feb",
note = "{\url http://www.ai.mit.edu/~mpf/rc/memos/M07/M07_revarch.html}"
}
@Misc{memom8,
author = "Michael P. Frank",
title = "The R Programming Language and Compiler",
howpublished = "Online draft memo",
year = 1997,
month = "jul",
note = "{\url http://www.ai.mit.edu/~mpf/rc/memos/M08/M08_rdoc.html}"
}
@Misc{tick,
author = "Michael Frank and Scott Rixner",
title = "Tick: A Simple Reversible Processor (6.371 Project Report)",
howpublished = "Online term paper",
year = 1996,
month = "may",
note = "{\url http://www.ai.mit.edu/~mpf/rc/tick-report.ps}"
}
@Unpublished{bart,
author = "Edward Barton",
title = "A Reversible Computer Using Conservative Logic",
year = 1978,
note = "Term paper for 6.895 at MIT"
}
@MastersThesis{ress2,
AUTHOR = "A. L. Ressler",
TITLE = "The Design of a Conservative Logic Computer and a Graphical
Editor Simulator",
SCHOOL = "MIT Artificial Intelligence Laboratory",
YEAR = 1981 }
@INPROCEEDINGS{hall2,
AUTHOR = "J. Storrs Hall",
TITLE = "A Reversible Instruction Set Architecture and Algorithms",
BOOKTITLE = "Physics and Computation",
MONTH = "November",
YEAR = 1994,
PAGES = "128--134" }
% Retractile cascades. Reverse branch (``Come-from'') instructions.
@InProceedings{Huels96,
author = "Lorenz Huelsbergen",
title = "A logically reversible evaluator for the call-by-name
lambda calculus",
crossref = "PhysComp96",
pages = "159--167",
note = "Available through {\url http://www.interjournal.org}"
}
@Misc{LiVit97,
author = "Ming Li and John Tromp and Paul Vit\'anyi",
title = "Reversible Simulation of Irreversible
Computation by Pebble Games",
howpublished = "Manuscript submitted to {\em Physica~D}",
year = 1997,
note = "{\url http://www.cwi.nl/~paulv/physics.html}",
annote = "Improved proof of minimum # pebbles,
and corrects the space lower bound conjecture."
}
@Article{CrePap95,
author = "Pierluigi Crescenzi and Christos
H.~Papadimitriou",
title = "Reversible simulation of
space-bounded computation",
journal = "Theoretical Computer Science",
year = 1995,
volume = 143,
pages = "159--165",
annote = "Extends the upper bound of
{\cite{ben3}} to nondeterministic
machines."
}
@Article{Lecerf-63,
author = "Y.~Lecerf",
title = "Machines de {T}uring r\'eversibles.
{I}nsolubilit\'e r\'ecursive en $n\in
{N}$ de l'\'equation $u=\theta^n$, o\`u
$\theta$ est un $\ll$ isomorphisme de
codes $\gg$ [{R}eversible {T}uring machines. {R}ecursive
insolubility in $n\in{N}$ of the equation $u=\theta^n$,
where $\theta$ is an ``isomorphism of codes'']",
journal = "Comptes Rendus Hebdomadaires des S\'eances
de L'acad\'emie des Sciences [Weekly Proceedings of the
Academy of Science]",
month = oct#" 28,",
year = 1963,
volume = 257,
pages = "2597--2600",
note = "Unauthorized English translation at {\url http://www.ai.mit.edu/~mpf/rc/Lecerf/lecerf.html}"
}
@InProceedings{Lange-etal-97,
author = "Klaus-J{\"o}rn Lange and Pierre
McKenzie and Alain Tapp",
title = "Reversible space equals deterministic
space",
pages = "45--50",
booktitle = Proc#"12th Annual {IEEE} "#Conf#"on Computational
Complexity ({CCC} '97)",
year = 1997,
month = jun,
note = "{\url http://www.iro.umontreal.ca/~tappa/Publications/LMT'97_abstract.html}",
annote = "Email to {\tt mckenzie@iro.umontreal.ca}"
}
%Misc{LMT,
% author = "Klaus-J{\"o}rn Lange and Pierre
% McKenzie and Alain Tapp",
% title = "Reversible space equals deterministic
% space",
% howpublished = "Manuscript",
% year = 1996,
% month = dec,
% note = "To be published in proc.\
% 12th Annual {IEEE} Conf.\ on Computational
% Complexity ({CCC} '97).
% {\url http://www.iro.umontreal.ca/~tappa/Publications/LMT'97_abstract.html}",
% annote = "Email to {\tt mckenzie at iro.umontreal.ca}"
%}
@InProceedings{Pin87,
author = "J. E.~Pin",
title = "On the languages accepted by finite
reversible automata",
editor = "Ottman, Thomas",
volume = 267,
series = "Lecture Notes in Computer Science",
pages = "237--249",
booktitle = "Automata, Languages and Programming, "#
Proc#"14th "#Intl#Colloq#"(ICALP)",
year = 1987,
publisher = "Springer-Verlag",
annote = "Reversible deterministic finite
automata can only accept a proper
subset of the regular languages. This
paper characterizes this subset in
several ways, and shows that it is
decidable whether a given DFA has an
equivalent RDFA."
}
% ben1
@ARTICLE{Bennett-73,
AUTHOR = "C.~H. Bennett",
TITLE = "Logical Reversibility of Computation",
JOURNAL = IJRD,
VOLUME = 17,
NUMBER = 6,
YEAR = 1973,
PAGES = "525--532" }
@Article{Toffoli-77,
author = "Tommaso Toffoli",
title = "Computation and Construction Universality of
Reversible Cellular Automata",
journal = J#" Computer and System Sciences",
year = 1977,
volume = 15,
pages = "213--231",
annote = "Referred to by Norm's thesis \cite{marg} as the
first proof that reversible CAs could be computation
universal."
}
% ben4
@ARTICLE{Bennett-89,
AUTHOR = "C. H. Bennett",
TITLE = "Time/Space Trade-offs for Reversible Computation",
JOURNAL = SJC,
VOLUME = 18,
YEAR = 1989,
NUMBER = 4,
PAGES = "766--776",
note = "\annote{See Chandra '72 \cite{Chandra-72} for first
invention of the general
time-space tradeoff used here.}"
}
% levine
@ARTICLE{LevSher90,
AUTHOR = "Robert Y. Levine and Alan T. Sherman",
TITLE = "A Note on {B}ennett's Time-Space Tradeoff for Reversible
Computation",
JOURNAL = SJC,
VOLUME = 19,
YEAR = 1990,
NUMBER = 4,
PAGES = "673--677" }
@InProceedings{LiV96a,
author = "Ming Li and Paul M.~B. Vit\'anyi",
title = "Reversible Simulation of Irreversible Computation",
booktitle = "Proc.\ 11th IEEE Conference on Computational Complexity",
year = 1996,
address = "Philadelphia, Pennsylvania",
month = may#" 24--27,",
annote = {Shows that Bennett's algorithm is optimal among algs
that work by saving checkpoints and undoing},
}
@Article{LiV96b,
author = "Ming Li and Paul M.~B. Vit\'anyi",
title = "Reversibility and adiabatic computation: trading
time and space for energy",
journal = PRSLA,
year = 1996,
volume = 452,
pages = "1--21",
annote = "Includes LiV96a results and shows you can also
do optimal Kolmogorov compression before discarding data"
}
@TechReport{Toffoli80,
author = "Tommaso Toffoli",
title = "Reversible Computing",
institution = "MIT Lab for Computer Science",
year = 1980,
type = "Technical memo",
number = "MIT/LCS/TM-151",
month = feb,
note = "Out of print; available from NTIS. Abridged version
available as {\cite{Toffoli-80a}}",
annote = "Excellent summary of reversible
logic theory of the time."
}
@InProceedings{Toffoli-80a,
author = "Tommaso Toffoli",
title = "Reversible Computing",
editor = "J. W. de Bakker and J. van Leeuwen",
volume = 85,
series = "Lecture Notes in Computer Science",
pages = "632--644",
booktitle = "Automata, Languages and Programming (Seventh Colloquium,
Noordwijkerhout, the Netherlands, "#jul#" 14--18, 1980)",
year = 1980,
publisher = "Springer-Verlag",
note = "Abridged version of {\cite{Toffoli80}}"
}
% fred1
@UNPUBLISHED{FredToff78,
AUTHOR = "E. F. Fredkin and T. Toffoli",
TITLE = "Design Principles for Achieving High-Performance Submicron
Digital Technologies",
NOTE = "DARPA Proposal",
YEAR = "1978",
MONTH = "November" }
@Misc{ress1,
AUTHOR = "A. L. Ressler",
TITLE = "Practical Circuits Using Conservative Reversible Logic",
HOWPUBLISHED = "Bachelor's thesis, MIT",
YEAR = 1979 }
% fred2
@ARTICLE{FredToff82,
AUTHOR = "E. F. Fredkin and T. Toffoli",
TITLE = "Conservative Logic",
JOURNAL = IJTP,
VOLUME = 21,
NUMBER = "3/4",
YEAR = 1982,
PAGES = "219--253" }
@Article{Wigington-61,
author = "R. L. Wigington",
title = "A New Concept in Computing",
journal = "Proceedings of the IRE",
month = apr,
year = 1961,
volume = 47,
pages = "516--523"
}
@Article{Merkle93b,
author = "Ralph C. Merkle",
title = "Two types of mechanical reversible logic",
journal = "Nanotechnology",
year = 1993,
volume = 4,
pages = "114--131"
}
@inproceedings{Baker-92-NREV,
author = "Henry G.~Baker",
title = "{NREVERSAL} of Fortune --- The Thermodynamics of Garbage
Collection",
booktitle = "International Workshop on Memory Management",
editor = "Y.~Bekkers",
publisher = "Springer-Verlag",
year = 1992,
pages = "507--524"}
% old tag: ben2
@ARTICLE{Bennett-88,
AUTHOR = "C. H. Bennett",
TITLE = "Notes on the history of reversible computation",
JOURNAL = IJRD,
VOLUME = 32,
month = jan,
YEAR = 1988,
NUMBER = 1,
PAGES = "16--23",
note = "Reprinted in {\cite{Leff-Rex-90}}, ch.~4, pp.~281--288"
}
@ARTICLE{way,
AUTHOR = "Wayner, P.",
TITLE = "Silicon in Reverse",
JOURNAL = "Byte",
MONTH = "August",
YEAR = "1994",
PAGES = "67--74" }
@INPROCEEDINGS{merk,
AUTHOR = "Ralph C. Merkle",
TITLE = "Towards Practical Reversible Logic",
BOOKTITLE = "Physics and Computation",
MONTH = "October",
YEAR = 1992,
PAGES = "227--228" }
@TechReport{avery,
author = "Stephen Avery and Marwan Jabri",
title = "Design of a Register File Using Adiabatic Logic",
institution = "University of Sydney SEDAL",
year = 1997,
type = "Technical Report",
month = "June",
number = "SCA-06/06/97"
}
@Article{Merkle93a,
author = "Ralph C. Merkle",
title = "Reversible electronic logic using switches",
journal = "Nanotechnology",
year = 1993,
volume = 4,
pages = "21--40"
}
I don't have this Hall paper in my files yet. Which place was it
really published, or if both, is there any difference?
@inproceedings{Hall-92-v1,
author = "J.~Storrs Hall",
title = "An Electroid Switching Model for Reversible Computer
Architectures",
booktitle = "Physics and Computation",
month = oct,
pages = "237--247",
year = 1992}
This latter citation came from Athas-et-al-94.
@inproceedings{Hall-92-v2,
author = "J.~Storrs Hall",
title = "An Electroid Switching Model for Reversible Computer
Architectures",
booktitle = Proc#"ICCI '92, 4th "#Intl#Conf#"on Computing and Information",
year = 1992}
@inproceedings{Younis-Knight-93,
author = "S.~G.~Younis and T.~F.~Knight, Jr.",
title = "Practical Implementation of Charge Recovering Asymptotically
Zero Power {CMOS}",
booktitle = Proc#"1993 "#Symp#"on Integrated Systems",
publisher = "MIT Press",
year = 1993,
pages = "234--250"}
Two versions of this next one too.
@inproceedings{Denk-94,
author = "J.~S.~Denker and S.~C.~Avery and A.~G.~Dickinson and A.~Kramer
and T.~R.~Wik",
title = "Adiabatic Computing with the {2N-2N2D} Logic Family",
booktitle = "International Workshop on Low Power Design",
year = 1994,
pages = "183--187"}
This latter citation came from Athas-etal-94.
@inproceedings{Kramer-94,
author = "A.~Kramer and J.~S.~Denker and S.~C.~Avery and
A.~G.~Dickinson and T.~R.~Wik",
title = "Adiabatic computing with the {2N-2N2D} logic family",
booktitle = "1994 "#Symp#"VLSI Circ.: Digest of Tech. Papers",
publisher = IEEE#" Press",
month = jun,
year = 1994}
@article{Athas-etal-94,
author = "William C.~Athas and Lars ``J.''~Svensson and
Jeffrey G.~Koller and Nestoras Tzartzanis and
Eric Ying-Chin Chou",
title = "Low-Power Digital Systems Based on
Adiabatic-Switching Principles",
journal = ITVLSIS,
volume = 2,
number = 4,
pages = "398--407",
month = dec,
year = 1994}
@INPROCEEDINGS{ka,
AUTHOR = "J. G. Koller and W. C. Athas",
TITLE = "Adiabatic Switching, Low Energy Computing, and the Physics of
Storing and Erasing Information",
BOOKTITLE = "Physics of Computation Workshop",
YEAR = 1992 }
@INPROCEEDINGS{hin,
AUTHOR = "R. T. Hinman and M. F. Schlecht",
TITLE = "Recovered Energy Logic: A single Clock {AC} Logic",
BOOKTITLE = "International Workshop on Low Power Design",
YEAR = 1994,
PAGES = "153-158" }
@INPROCEEDINGS{sol,
AUTHOR = "Paul M. Solomon and David J. Frank",
TITLE = "Power Measurements of Adiabatic circuits by thermoelectric
technique",
BOOKTITLE = "Symposium on Low Power Electronics",
YEAR = 1995,
PAGES = "18--19"}
@INPROCEEDINGS{soma,
AUTHOR = "Dinesh Somasekhar and Yibin Ye and Kaushik Roy",
TITLE = "An Energy Recovery Static {RAM} Memory Core",
BOOKTITLE = "Symposium on Low Power Electronics",
YEAR = 1995,
PAGES = "62--63"}
@INPROCEEDINGS{tzart,
AUTHOR = "Nestoras Tzartzanis and William C. Athas",
TITLE = "Energy Recovery for the Design of High-Speed, Low Power
Static {RAM}s",
BOOKTITLE = "International Symposium on Low Power Electronics and Design",
YEAR = 1996,
PAGES = "55--60"}
@ARTICLE{Landauer-61,
AUTHOR = "Rolf Landauer",
TITLE = "Irreversibility and Heat Generation in the Computing Process",
JOURNAL = IJRD,
VOLUME = 5,
YEAR = 1961,
PAGES = "183--191",
note = "Reprinted in \cite{Leff-Rex-90}, ch.~4, pp. 188--196"
}
% ben3
@ARTICLE{Bennett-82,
AUTHOR = "C. H. Bennett",
TITLE = "The Thermodynamics of Computation, a Review",
JOURNAL = IJTP,
VOLUME = 21,
YEAR = 1982,
NUMBER = 12,
PAGES = "905--940" }
@ARTICLE{land2,
AUTHOR = "R. Landauer",
TITLE = "Uncertainty Principle and Minimal Energy Dissipation in the
Computer",
JOURNAL = IJTP,
VOLUME = 21,
YEAR = 1982,
NUMBER = "3/4",
PAGES = "283--297" }
% likh
@ARTICLE{Likharev-82,
AUTHOR = "K. K. Likharev",
TITLE = "Classical and Quantum Limitations on Energy Consumption in
Computation",
JOURNAL = IJTP,
VOLUME = 21,
NUMBER = "3/4",
YEAR = 1982,
PAGES = "311--326" }
@BOOK{Leff-Rex-90,
EDITOR = "Harvey S. Leff and Andrew F. Rex",
TITLE = "Maxwell's demon: entropy, information, computing",
PUBLISHER = "Princeton University Press",
ADDRESS = "Princeton, NJ",
SERIES = "Princeton series in physics",
YEAR = 1990,
note = "May be ordered through {\url http://www.ioppublishing.com/Books/Catalogue/020/__26/0750300566}"
}
@Misc{BT97,
author = "Bruce M. Boghosian and Washington
Taylor {IV}",
title = "Simulating Quantum Mechanics on a
Quantum Computer",
howpublished = "Manuscript",
year = 1997,
month = 8#" "#mar,
note = "{\url http://xxx.lanl.gov/abs/quant-ph/9701019}",
annote = "Seems a good review of the current state of
affairs on the topic."
}
@ARTICLE{feyn,
AUTHOR = "R. P. Feynman",
TITLE = "Quantum Mechanical Computers",
JOURNAL = FP,
VOLUME = 16,
YEAR = 1986,
NUMBER = 6 }
@InProceedings{Shor94,
author = "Peter W. Shor",
title = "Algorithms for Quantum Computation:
Discrete Log and Factoring",
pages = "124--134",
booktitle = "Foundations of Computer Science,
Proc.\ 35th Ann.\ Symp.",
year = 1994,
publisher = "IEEE Computer Society Press",
}
@UNPUBLISHED{shor,
AUTHOR = "P. W. Shor",
YEAR = "1994",
TITLE = "Algorithms for Quantum Computation:
Discrete Log and Factoring",
NOTE = "To appear, ACM 1994 Symposium on the Theory of Computers" }
@ARTICLE{chuang,
AUTHOR = "Isaac L. Chuang and Yoshihisa Yamamoto",
TITLE = "Quantum Bit Regeneration",
JOURNAL = "(unknown journal)",
MONTH = "September",
YEAR = "1995"}
@Misc{Grover-97a,
author = "Lov K.~Grover",
title = "Quantum computers can search rapidly by using almost any
transformation",
howpublished = "Los Alamos e-Print Archive",
year = 1997,
month = dec,
note = "{\url http://xxx.lanl.gov/abs/quant-ph/9712011}"
}
@Misc{Grover-97,
author = "Quantum Mechanics helps in searching for a needle in a
haystack",
title = "Lov K. Grover",
howpublished = "Los Alamos e-Print Archive",
year = 1997,
month = jun,
note = "{\url http://xxx.lanl.gov/abs/quant-ph/9706033}"
}
@InProceedings{Grover-96,
author = "Lov. K. Grover",
title = "A fast quantum mechanical algorithm for database search",
pages = "212--219",
booktitle = Proc#", 28th Annual ACM Symposium on the Theory of
Computing (STOC)",
year = 1996,
month = may,
note = "{\url http://xxx.lanl.gov/abs/quant-ph/9605043}"
}
@InProceedings{BoghTay96,
author = "Bruce M. Boghosian and Taylor {IV}, Washington",
title = "Simulating quantum mechanics on a quantum computer",
crossref = "PhysComp96",
pages = "32--35",
note = "{\url http://xxx.lanl.gov/abs/quant-ph/9701019}"
}
@Article{JQ92,
author = "E. Joos and A. Qadir",
title = "A Quantum Statistical upper Bound on Entropy",
journal = "Il Nuovo Cimento",
year = 1992,
volume = "107B",
number = 5,
pages = "563--572"
}
@Article{Bek81,
author = "Jacob D. Bekenstein",
title = "Universal upper bound on entropy-to-energy ratio
for bounded systems",
journal = "Phys. Rev. D",
month = jan,
year = 1981,
volume = 23,
number = 2,
pages = "287--298",
}
@Article{Bek84,
author = "Jacob D. Bekenstein",
title = "Entropy content and information flow in systems with
limited energy",
journal = "Phyical Review D",
year = 1984,
volume = 30,
number = 8,
pages = "1669--1679",
month = "15 "#oct
}
@Proceedings{PhysComp96,
title = "PhysComp96 (Proceedings of the Fourth Workshop of Physics
and Computation, Boston University, 22--24 November
1996)",
booktitle = "PhysComp96",
year = 1996,
editor = "Tommaso Toffoli and Michael Biafore and Jo{\~a}o Le{\~a}o",
organization = "New England Complex Systems Institute",
note = "Copies may be ordered from \textit{PhysComp96},
44 Cummington St., Boston MA 02215 ({\url
PhysComp96@pm.bu.edu}). Individual papers are
available through {\url http://www.interjournal.org}"
}
@InProceedings{Vit95,
author = "Paul M.~B.~Vit\'anyi",
title = "Physics and the New Computation",
volume = 969,
series = "Lecture Notes in Computer Science",
pages = "106--128",
booktitle = "Mathematical Foundations of Computer
Science, Proc.\ 20th
Int'l Symp.\ (MFCS)",
year = 1995,
publisher = "Springer-Verlag",
note = "{\url http://www.cwi.nl/~paulv/physics.html}"
}
@InProceedings{MargLev96,
author = "Norman Margolus and Lev B.~Levitin",
title = "The maximum speed of dynamical evolution",
crossref = "PhysComp96",
pages = "208--211",
note = "Available through {\url http://www.interjournal.org}.
Revised version available at {\url
ftp://im.lcs.mit.edu/poc/margolus/speed.of.dynamics.ps.Z}",
annote = "The maximum rate of state change in any
physical system is proportional to
the total energy in the system. One
Joule gives $3\times 10^{33}
operations/second"
}
@ARTICLE{land3,
AUTHOR = "R. Landauer",
TITLE = "Computation: A Fundamental Physical View",
JOURNAL = FP,
VOLUME = 16,
YEAR = 1986,
PAGES = "260--266" }
@TechReport{SmithWD-95,
author = "Warren D. Smith",
title = "Fundamental physical limits on computation",
institution = "NECI",
year = 1995,
month = may,
note = "{\url http://www.neci.nj.nec.com/homepages/wds/fundphys.ps}"
}
@BOOK{max,
AUTHOR = "J. C. Maxwell",
TITLE = "Theory of Heat",
PUBLISHER = "Longmans, Green \& Co.",
ADDRESS = "London",
EDITION = "4th",
YEAR = 1875 }
@ARTICLE{szi,
AUTHOR = "L. Szilard",
TITLE = "On the Decrease of Entropy in a Thermodynamic System by the
Intervention of Intelligent Beings",
JOURNAL = {Zeitschrift f\"{u}r Physik},
VOLUME = 53,
YEAR = 1929,
PAGES = "840--852",
NOTE = "English translation in {\em Behavioral Science}, 9:301--310, 1964"
}
@Article{MTV86,
author = "Norman Margolus and Tommaso Toffoli and G\'erard Vichniac",
title = "Cellular-Automata Supercomputers for Fluid Dynamics Modeling",
journal = "Physical Review Letters",
year = 1986,
volume = 56,
number = 16,
pages = "1694--1696",
month = "21 "#apr
}
@Book{TofMarg91,
author = "Tommaso Toffoli and Norman Margolus",
title = "Cellular Automata Machines: A New
Environment for Modeling",
publisher = "MIT Press",
year = 1987
}
@Article{Hillis82,
author = "W. Daniel Hillis",
title = "New Computer Architectures and Their
Relationship to Physics or Why
Computer Science is No Good",
journal = IJTP,
year = 1982,
volume = 21,
number = "3/4",
pages = "255--262"
}
%TechReport{BilPrep-93,
% author = "Gianfranco Bilardi and Franco Preparata",
% title = "Horizons of Parallel Computation",
% institution = "Brown University",
% year = 1993,
% type = "Technical Report",
% number = "CS-\db 93-\db 20",
% month = may,
% note = "{\url http://www.cs.brown.edu/pub\-li\-ca\-tions/tech\-re\-ports/re\-ports/CS-93-20.html}",
% annote = "Really cool!"
%}
@TechReport{BilPrep93,
author = "Gianfranco Bilardi and Franco Preparata",
title = "Horizons of Parallel Computation",
institution = "Brown University",
year = 1993,
type = "Technical Report",
number = "CS-\db 93-\db 20",
month = may,
note = "Also available on the web at {\url http://www.cs.brown.edu/pub\-li\-ca\-tions/tech\-re\-ports/re\-ports/CS-93-20.html}",
annote = "Really cool!"
}
% The ``also available on the web at'' was necessary to
% prevent idiot TeX from leaving an overfull hbox
% before the URL when formatting this entry in a narrow
% column. The problem is that TeX seems to refuse to
% break a really long word across 3 lines if it can
% avoid it by inserting horizontal space. Idiotic.
@Article{Vit88,
author = "Paul M.~B.~Vit\'anyi",
title = "Locality, communication and
interconnect length in multicomputers",
journal = SJC,
year = 1988,
volume = 17,
pages = "659--672"
}
@InProceedings{Shoe97,
author = "David Shoemaker and Frank Honor\'e and Pat LoPresti and
Chris Metcalf and Steve Ward",
title = "A Unified System for Scheduled Communication",
booktitle = "Proceedings of the International Conference on Parallel
and Distributed Processing Techniques and Applications",
year = 1997,
month = jul,
note = "{\url http://cag-www.lcs.mit.edu/numesh/papers/published/pdpta97.html}"
}
@Article{Dally89,
author = "William J. Dally and Andrew Chien and Stuart Fiske and
Waldemar Horwat and John Keen and Michael Larivee and
Rich Lethin and Peter Nuth and Scott Wills",
title = "The {J}-Machine: A Fine-Grain Concurrent Computer",
journal = "Information Processing",
year = 1989,
volume = 89,
pages = "1147--1153"
}
@Book{Leighton92,
author = "F.~Thomson Leighton",
title = "Introduction to Parallel Algorithms
and Architectures: Arrays $\cdot$ Trees
$\cdot$ Hypercubes",
publisher = "Morgan Kaufmann Publishers",
year = 1992,
address = "San Mateo, California"
}
@Book{Scott-74,
author = "Allan W. Scott",
title = "Cooling of Electronic Equipment",
publisher = "John Wiley \& Sons, Inc.",
year = 1974,
note = "A Wiley-Interscience publication"
}
@Article{Tuckerman-Pease,
author = "D. B. Tuckerman and R. F. W. Pease",
title = "High-Performance Heat Sinking for {VLSI}",
journal = "{IEEE} Electron Device Letters",
year = 1981,
volume = "EDL-2",
number = 5,
pages = "126--129",
month = may
}
@PhdThesis{Tuckerman-PhD,
author = "David Bazeley Tuckerman",
title = "Heat-Transfer Microstructures for Integrated Circuits",
school = "Stanford University",
year = 1984,
month = feb
}
@Misc{Preskill-92,
author = "John Preskill",
title = "Do Black Holes Destroy Information?",
howpublished = "Los Alamos e-print {\url
http://xxx.lanl.gov/abs/hep-th/9209058}",
year = 1992,
month = sep
}
@Misc{Myers-97,
author = "Robert C. Myers",
title = "Pure states don't wear black",
howpublished = "Los Alamos e-print {\url
http://xxx.lanl.gov/abs/gr-qc/9705065}",
year = 1997,
month = may
}
@Misc{Englert-97,
author = "Fran{\c c}ois Englert",
title = "On the black hole unitarity issue",
howpublished = "Los Alamos e-print {\url
http://xxx.lanl.gov/abs/hep-th/9705115}",
year = 1997,
month = "15 "#may
}
@Misc{Mashkevich-97,
author = "Vladimir S. Mashkevich",
title = "Conservative Model of Black Hole (sic) and Lifting of the
Information Loss Paradox",
howpublished = "Los Alamos e-print {\url
http://xxx.lanl.gov/abs/gr-qc/9707055}",
year = 1997,
month = "27 "#jul
}
My college physics textbook.
@Book{SeZeYo84,
author = "Francis W.~Sears and Mark W.~Zemansky and Hugh D.~Young",
title = "University Physics",
publisher = "Addison-Wesley Publishing Company",
month = feb,
year = 1984,
series = "Addison-Wesley Series in Physics",
address = "Reading, Massachusetts",
edition = "sixth"}
@Book{Lei83,
author = "Charles E. Leiserson",
title = "Area-Efficient VLSI Computation",
publisher = "MIT Press",
year = 1983,
note = "MIT PhD thesis, recipient of 1982 ACM doctoral
dissertation award"
}
@Book{Rabaey96,
author = "J.M. Rabaey",
title = "Digital Integrated
Circuits: A Design Perspective",
publisher = "Prentice-Hall",
year = 1996,
note = "{\url http://infopad.EECS.Berkeley.EDU/~icdesign}"
}
@Article{Toh-etal-88,
author = "Kai-Yap Toh and Ping-Keung Ko and Robert G. Meyer",
title = "An Engineering Model for Short-Channel MOS Devices",
journal = "{IEEE} Journal of Solid-State Circuits",
year = 1988,
volume = 23,
number = 4,
pages = "950--958",
month = aug
}
CLR Algorithms book.
@Book{CLR,
author = "Thomas H.~Cormen and Charles E.~Leiserson and Ronald L.~Rivest",
title = "Introduction to Algorithms",
publisher = "MIT Press/McGraw Hill",
year = 1990,
series = "The MIT Electrical Engineering and Computer Science Series"}
@BOOK{ph1,
AUTHOR = "D. A. Patterson and J. L. Hennessy",
TITLE = "Computer Architecture: A Quantitative Approach",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Mateo",
YEAR = 1990 }
@BOOK{ph2,
AUTHOR = "D. A. Patterson and J. L. Hennessy",
TITLE = "Computer Organization \& Design: The Hardware/Software
Interface",
PUBLISHER = "Morgan Kaufmann",
YEAR = "1993",
ADDRESS = "San Mateo"}
%BOOK{ph2b,
% AUTHOR = "D. A. Patterson and J. L. Hennessy",
% TITLE = "Computer Organization \& Design: The Hardware/Software
% Interface",
% PUBLISHER = "Morgan Kaufmann",
% YEAR = "1993",
% ADDRESS = "San Mateo",
% EDITION = "BETA",
% NOTE = "From Uncorrected Preliminary Manuscript" }
@BOOK{mips,
AUTHOR = "Gerry Kane and Joe Heinrich",
TITLE = "{MIPS RISC} Architecture",
PUBLISHER = "Prentice Hall",
YEAR = 1992,
}
@book{vonNeumann-66,
AUTHOR = "John von Neumann",
title = "Theory of Self-Reproducing Automata",
PUBLISHER = "University of Illinois Press",
YEAR = 1966,
notes = "Posthumous collection, edited by Arthur W.~Burks"
}
@Book{LiVbook,
author = "Ming Li and Paul Vit\'anyi",
title = "An Introduction to {K}olmogorov
Complexity and Its Applications",
publisher = "Springer-Verlag",
year = 1997,
series = "Graduate Texts in Computer Science",
edition = "2nd"
}
@Article{BGS,
author = "Theodore Baker and John Gill and
Robert Solovay",
title = "Relativizations of the \mbox{${\cal
P}=?{\cal NP}$} question",
journal = SJC,
year = 1975,
volume = 4,
number = 4,
pages = "431--442",
month = dec,
annote = "Shows there exist oracles relative to
which P is equal to and not equal to
NP."
}
@Article{BakerLL,
author = "Henry G. Baker",
title = "Lively Linear Lisp---`{L}ook Ma, No Garbage!'",
journal = "ACM Sig{P}lan Notices",
year = 1992,
volume = 27,
number = 8,
pages = "89--98",
month = aug
}
@InCollection{Knight90,
author = "Tom Knight",
title = "An Architecture for Mostly Functional Languages",
booktitle = "Artificial Intelligence at {MIT}: Expanding Frontiers",
publisher = "The MIT Press",
year = 1990,
editor = "Patrick Henry Winston and Sarah Alexandra Shellard",
volume = 1,
chapter = 19,
pages = "500--519",
address = "Cambridge, Massachusetts"
}
@Article{CG75,
author = "Don Coppersmith and Edna Grossman",
title = "Generators for Certain Alternating
Groups with Applications to Cryptography",
journal = SIAM#" "#J#" Appl.\ Math.",
year = 1975,
volume = 29,
number = 4,
pages = "624--627",
month = dec,
annote = "Proves group-theoretic results
implying that reversible circuits can
compute arbitrary invertible
functions using at most only 1 extra
bit."
}
Insert new items into this section if in too much of a hurry to put them in the right place.
@Proceedings{UMC-98,
title = "Unconventional Models of Computation",
booktitle = "Unconventional Models of Computation",
year = 1998,
editor = "C. S. Calude and J. Casti and M. J. Dinneen",
publisher = "Springer",
note = "("#Proc#" of the First International Conference on
Unconventional Models of Computation (UMC'98), held at the
University of Auckland, "#jan#" 5--9, 1998)"
}
% organization = "Centre for Discrete Mathematics and Theoretical Computer Science",
@PhdThesis{Boykett-96,
author = "Timothy Holden Hebbert Boykett",
title = "Algebraic Aspects of Reversible Computation",
school = "University of Western Australia",
year = 1996,
month = apr
}
@Book{Drexler-92,
author = "K. Eric Drexler",
title = "Nanosystems: Molecular Machinery, Manufacturing, and
Computation",
publisher = "John Wiley \& Sons, Inc.",
year = 1992,
note = "{\url http://nano.xerox.com/nanotech/nanosystems.html}"
}
@Article{Merkle-Drexler-96,
author = "Ralph C. Merkle and K. Eric Drexler",
title = "Helical logic",
journal = "Nanotechnology",
year = 1996,
volume = 7,
number = 4,
pages = "325--339",
note = "Available through {\url http://www.ioppublishing.com}"
}
@Article{LikhKoro96,
author = "Konstantin K. Likharev and Alexander N. Korotkov",
title = "``{S}ingle-Electron Para\-me\-tron'': {R}eversible Computation in
a Discrete-State System",
journal = "Science",
year = 1996,
volume = 273,
pages = "763--765",
month = "9 "#aug
}
@Book{Planck-14,
author = "M. Planck",
title = "The Theory of Heat Radiation",
publisher = "Dover",
year = 1991,
address = "New York",
OPTnote = "Translated from {\emph{Vorlesungen \"uber die Theorie der
W\"armestrahlung}} (Blakiston, 1914)"
}
@Book{Huang-63,
author = "K. Huang",
title = "Statistical Mechanics",
publisher = "Wiley",
year = 1963
}
@Article{Wang-86,
author = "L. Wang",
title = "On the classical limit of phase-space formulation of
quantum mechanics: entropy",
journal = "J. Math.\ Phys.",
year = 1986,
volume = 27,
pages = "483--487"
}
@Book{Wald-84,
author = "Robert M. Wald",
title = "General Relativity",
publisher = "University of Chicago Press",
year = 1984
}
@Book{Einstein-61,
author = "Albert Einstein",
title = "Relativity",
publisher = "Crown Publishers, Inc.",
year = 1961,
address = "New York"
}
@Misc{vonNeumann-57,
author = "J. von Neumann",
title = "Non-linear Capacitance or Inductance Switching,
Amplifying, and Memory Organs",
howpublished = "U.S. Patent No.\ 2,815,488",
year = 1957,
month = dec#" 3,",
note = "Assigned to the IBM Corporation"
}
@Book{Rogers-87,
author = "Rogers, Jr., Hartley ",
title = "Theory of Recursive Functions and Effective Computability",
publisher = "The MIT Press",
year = 1987,
edition = "First MIT Press paperback edition",
note = "Original edition published by McGraw-Hill Book Company,
1967"
}
@TechReport{SmithWD-93,
author = "Warren D. Smith",
title = "Church's thesis meets the {N}-body problem",
institution = "NECI",
year = 1993,
number = "TM 93-105-3-0058-6",
month = sep,
note = "{\url http://www.neci.nj.nec.com/homepages/wds/church.ps}"
}
@Article{Vergis-etal-86,
author = "Anastasios Vergis and Kenneth Steiglitz and
Bradley Dickinson",
title = "The complexity of analog computation",
journal = "Mathematics and Computers in Simulation",
year = 1986,
volume = 28,
pages = "91--113"
}
@Book{HopUll-79,
author = "John E. Hopcroft and Jeffrey D. Ullman",
title = "Introduction to Automata Theory, Languages, and Computation",
publisher = "Addison-Wesley",
year = 1979,
series = "Addison-Wesley Series in Computer Science"
}
@Book{SIA-97,
author = "{Semiconductor Industry Association}",
title = "The National Technology Roadmap for Semiconductors:
Technology Needs",
publisher = "SEMATECH, Inc.",
year = 1997,
edition = 1997,
note = "{\url http://notes.sematech.org/1997pub.htm}"
}
@Book{Hodges-Jackson-88,
author = "David A. Hodges and Horace G. Jackson",
title = "Analysis and Design of Digital Integrated Circuits",
publisher = "McGraw-Hill, Inc.",
year = 1988,
edition = "Second"
}
@Misc{DARPA-program,
author = "{DARPA}",
title = "Scalable Computing Systems",
howpublished = "{\url http://www.darpa.mil/ito/research/scalable}"
}
@Book{Feller-50,
author = "William Feller",
title = "An Introduction to Probability Theory and Its Applications",
publisher = "John Wiley \& Sons, Inc.",
year = 1950
}
@TechReport{Boothe-98,
author = "Bob Boothe",
title = "Algorithms for Bidirectional Debugging",
institution = "Computer Science Department, University of Southern Maine",
year = 1998,
number = "USM/CS-98-2-23",
address = "96 Falmouth St, Portland ME 04104-9300",
month = feb,
note = "Author's email: {\url boothe@cs.usm.maine.edu}"
}
@Article{ULF-97,
author = "David Ungar and Henry Lieberman and Christopher Fry",
title = "Debugging and the Experience of Immediacy",
journal = "Communications of the ACM",
year = 1997,
volume = 40,
number = 4,
pages = "38--43",
month = apr
}