WorldCat Identities

Toffoli, Tommaso

Overview
Works: 21 works in 68 publications in 1 language and 893 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA267.5.C45, 511.3
Publication Timeline
Key
Publications about  Tommaso Toffoli Publications about Tommaso Toffoli
Publications by  Tommaso Toffoli Publications by Tommaso Toffoli
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 7-11, 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, 22-24 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 7-11, 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" branch-and-bound 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 branch-and-bound 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 self-contained in the sense that it can be externally attached to any LIFO branch-and-bound 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 high-performance 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 conservative-logic 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 general-purpose 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 CAM-7 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 24-26, 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 construction-universality of reversible cellular automata by Tommaso Toffoli ( Book )
1 edition published in 1976 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.00 for Cellular a ... to 0.93 for An efficie ...)
Languages
English (63)
Covers