Toffoli, TommasoOverview
Publication Timeline
Most widely held works by
Tommaso Toffoli
Cellular automata machines : a new environment for modeling
by Tommaso Toffoli
(
Book
)
27 editions published between 1986 and 1993 in English and Undetermined and held by 695 WorldCat member libraries worldwide Theory of Computation  Computation by Abstracts Devices
Cellular automata : proceedings of an interdisciplinary workshop, Los Alamos, New Mexico 87545, USA, March 711, 1983
(
Book
)
3 editions published in 1984 in English and held by 93 WorldCat member libraries worldwide
Proceedings of the fourth Workshop on Physics and Computation : Boston, 2224 November 1996
by 1996, Boston, Mass.) PhysComp (4
(
Book
)
7 editions published between 1996 and 1998 in English and held by 25 WorldCat member libraries worldwide
Cellular automata : proceedings of an interdisciplinary workshop, Los Alamos, New Mexico, USA, March 711, 1983
(
Book
)
3 editions published in 1984 in English and held by 12 WorldCat member libraries worldwide
An efficient algorithm for determining the length of the longest dead path in a "LIFO" branchandbound exploration schema
by Stefano Pallottino
(
Book
)
3 editions published in 1980 in English and held by 10 WorldCat member libraries worldwide The length of the longest dead path (LLDP) is a widely used parameter in estimating the efficiency of branchandbound optimization algorithms that employ the LIFO exploration schema. Thanks to two original theorems, we are able to present a particularly attractive procedure for determining of the LLDP. In fact this procedure requires a number of storage variables which is independent of problem size and very small; moreover, the procedure is selfcontained in the sense that it can be externally attached to any LIFO branchandbound program without interfering with its algorithms and data structures. (Author)
Reversible computing
by Tommaso Toffoli
(
Book
)
2 editions published in 1980 in Undetermined and English and held by 9 WorldCat member libraries worldwide
Conservative logic
by Edward Fredkin
(
Book
)
2 editions published in 1981 in English and held by 9 WorldCat member libraries worldwide Conservative logic is a comprehensive model of computation which explicitly reflects a number of fundamental principles of physics, such as the reversibility of the dynamical laws and the conservation of certain additive quantities (among which energy plays a distinguished role). Because it more closely mirrors physics than traditional models of computation, conservative logic is in a better position to provide indications concerning the realization of highperformance computing systems, i.e., of systems that make very efficient use of the 'computing resources' actually offered by nature. In particular, conservative logic shows that it is ideally possible to build sequential circuits with zero internal power dissipation. After establishing a general framework, we discuss two specific models of computation. The first uses binary variables and is the conservativelogic counterpart of switching theory; this model proves that universal computing capabilities are compatible with the reversibility and conservation constraints. The second model, which is a refinement of the first, constitutes a substantial breakthrough in establishing a correspondence between computation and physics. In fact, this model is based on elastic collisions of identical 'balls', and thus is formally identical with the atomic model that underlies the (classical) kinetic theory of perfect gases. Quite literally, the functional behavior of a generalpurpose digital computer can be reproduced by a perfect gas placed in a suitably shaped container and given appropriate initial conditions. (Author)
Cellular automata mechanics
by Tommaso Toffoli
(
Book
)
4 editions published in 1977 in English and held by 8 WorldCat member libraries worldwide
Bicontinuous extensions of invertible combinatorial functions
by Tommaso Toffoli
(
Book
)
3 editions published between 1978 and 1979 in English and held by 7 WorldCat member libraries worldwide We discuss and solve the problem of constructing a diffeomorphic componentwise extension for an arbitrary invertible combinatorial function. Interpreted in physical terms, our solution constitutes a proof of the physical realizability of general computing mechanisms based on reversible primitives. (Author)
Cellular Automata '86 Conference
by Cellular Automata Conference
(
Book
)
2 editions published between 1986 and 1987 in Undetermined and English and held by 5 WorldCat member libraries worldwide
The CAM7 multiprocessor : a cellular automata machine
by Tommaso Toffoli
(
Book
)
2 editions published between 1984 and 1985 in English and held by 4 WorldCat member libraries worldwide
Cellular automata supercomputers for fluid dynamics modeling
by Norman Margolus
(
Book
)
1 edition published in 1985 in English and held by 4 WorldCat member libraries worldwide
The digital perspectives : ... workshop ... was held on July 2426, 2001 at Arlington, Va.
(
Book
)
1 edition published in 2003 in English and held by 2 WorldCat member libraries worldwide
Cellular automata : proceedings
(
Book
)
1 edition published in 1984 in Undetermined and held by 2 WorldCat member libraries worldwide
PhysComp96 : Proceedings of the Fourth Workshop on Physic and Computation, Boston, 22  24 November 1996
(
Book
)
1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide
Reversible computing
(
)
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide The theory of reversible computing is based on invertible primitives and composition rules that preserve invertibility. With these constraints, one can still satisfactorily deal with both functional and structural aspects of computing processes; at the same time, one attains a closer correspondence between the behavior of abstract computing systems and the microscopic physical laws (which are presumed to be strictly reversible) that underlie any concrete implementation of such systems. It has been integrated into a comprehensive picture a variety of concepts and results. According to a physical interpretation, the central result of this paper is that it is ideally possible to build sequential circuits with zero internal power dissipation. Even when these circuits are interfaced with conventional ones, power dissipation at the interface would be at most proportional to the number of input/output lines, rather than to the number of logic gates as in conventional computers
PhysComp 96 : proceedings of the fourth workshop on physics and computation
(
Book
)
1 edition published in 1998 in English and held by 1 WorldCat member library worldwide
Cellular automata mechanics
by Tommaso Toffoli
(
Book
)
in English and held by 1 WorldCat member library worldwide
Cellular automata : material
by Cellular Automata Conference
(
Book
)
1 edition published in 1986 in English and held by 1 WorldCat member library worldwide
Computation and constructionuniversality of reversible cellular automata
by Tommaso Toffoli
(
Book
)
1 edition published in 1976 in English and held by 1 WorldCat member library worldwide more
fewer
Audience Level
Related Identities
Associated Subjects
Algorithms Branch and bound algorithms Cellular automata Combinatorial analysis Computational complexity Differential equations, Partial Fluid dynamicsSimulation methods Logic, Symbolic and mathematical Machine theory Mathematical models Nonlinear theories Parallel processing (Electronic computers) PhysicsData processing Programming (Mathematics) Realtime data processing Reversible computing Sequential machine theory Supercomputers

Languages
Covers
