Next: A. Simulation program
Up: Discrete, Amorphous Physical Models
Previous: 6. Conclusion
-
- 1
- Sussman, Gerald Jay, Harold Abelson, and Tom
Knight. ``Amorphous Computing.'' White paper, 1995.
- 2
- Abelson, Harold, Gerald Jay Sussman, Meinhard Meyer,
and Jack Wisdom. Structure and Interpretation of Classical
Physics. Draft, December 1998.
- 3
- Margolus, Norman. Physics and computation
(Laboratory for Computer Science technical report 415). Cambridge,
Mass: Laboratory for Computer Science, Massachusetts Institute of
Technology, 1988.
- 4
- Toffoli, Tommaso, and Norman Margolus. Cellular
Automata Machines: A New Environment for Modeling. Cambridge, Mass:
MIT Press, 1987.
- 5
- Rothman, Daniel H. Lattice-gas Cellular
Automata : Simple Models of Complex Hydrodynamics. Cambridge, U.K.,
New York : Cambridge University Press, 1997.
- 6
- Toffoli, Tommaso. ``Cellular automata as an
alternative to (rather than an approximation of) differential
equations in modeling physics''. Physica D 10, 117 (1984).
- 7
- Sussman, Gerald Jay, Harold Abelson and Julie Sussman.
Structure and Interpretation of Computer Programs, 2nd edition.
Cambridge, Mass: MIT Press, 1996.
- 8
- Adams, Stephen. ``A high level simulator for Gunk.''
Draft, 1997.
- 9
- Papadimitriou, Christos H. Computational Complexity.
Addison-Wesley, 1994.
- 10
- Vitanyi, Paul M. B. ``Locality, Communication and
Interconnect Length in Multicomputers''. Siam Journal of
Computing 17, 4 (1988).
- 11
- Fredkin, Edward. ``Digital mechanics. An
informational process based on reversible universal cellular
automata.'' Physica D 45 1-3 (1990).
- 12
- W. Clinger and J. Rees (editors). Revised4 Report on
the Algorithmic Language Scheme. Nov. 1991.
- 13
- Greenspan, Donald. Arithmetic Applied
Mathematics. Oxford: Pergamon, 1980.
- 14
- Frank, Michael P. Reversibility for Efficient
Computing. Ph.D. Thesis, MIT Artificial Intelligence Laboratory, 1999.
- 15
- Feynman, Richard. ``Simulating physics with
computers.'' International Journal of Theoretical Physics 21, 467 (1982).
- 16
- Leighton, F. Thomson. Introduction to Parallel
Algorithms and Architectures: Arrays, Trees, Hypercubes. San Mateo,
California: Morgan Kaufmann Publishers, 1992.
- 17
- Bennett, Charles H. ``Logical Reversibility of
Computation''. IBM Journal of Research and Development 17,
525 (1973).
Erik Rauch
1999-06-26