Results 1  10
of
477,985
Reversible jump Markov chain Monte Carlo computation and Bayesian model determination
 Biometrika
, 1995
"... Markov chain Monte Carlo methods for Bayesian computation have until recently been restricted to problems where the joint distribution of all variables has a density with respect to some xed standard underlying measure. They have therefore not been available for application to Bayesian model determi ..."
Abstract

Cited by 1345 (23 self)
 Add to MetaCart
Markov chain Monte Carlo methods for Bayesian computation have until recently been restricted to problems where the joint distribution of all variables has a density with respect to some xed standard underlying measure. They have therefore not been available for application to Bayesian model
Reversible Computing and Discrete Reality
, 2000
"... Introduction A new area of investigation in physics punctuated the beginning of the 1980s: the role energy takes in computation. It began as a correlation between energy and information. Based on these results, it progressed to research in the idea of reversible computing, whether a there is such t ..."
Abstract
 Add to MetaCart
Introduction A new area of investigation in physics punctuated the beginning of the 1980s: the role energy takes in computation. It began as a correlation between energy and information. Based on these results, it progressed to research in the idea of reversible computing, whether a
The Refinement of Reversible Computations
"... Abstract. We consider a language which allows bounded nondeterminism, standalone guarded commands and speculative computations as implementable constructs. We give the operational interpretation of such commands in terms of reversible computation, and consider the implications for refinement. Th ..."
Abstract
 Add to MetaCart
Abstract. We consider a language which allows bounded nondeterminism, standalone guarded commands and speculative computations as implementable constructs. We give the operational interpretation of such commands in terms of reversible computation, and consider the implications for refinement
Reversible Computer Engineering and Architecture
, 1999
"... There exists a set of reversible primitive modules that may be combined according to a set of simple rules to create larger systems, which are themselves reversible primitive modules. These modules may be combined to create a fully reversible, universal computer. I describe techniques for creating r ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
There exists a set of reversible primitive modules that may be combined according to a set of simple rules to create larger systems, which are themselves reversible primitive modules. These modules may be combined to create a fully reversible, universal computer. I describe techniques for creating
Periodicity and Immortality in Reversible Computing
 In MFCS 2008
, 2008
"... Abstract. We investigate the decidability of the periodicity and the immortality problems in three models of reversible computation: reversible counter machines, reversible Turing machines and reversible onedimensional cellular automata. Immortality and periodicity are properties that describe th ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
Abstract. We investigate the decidability of the periodicity and the immortality problems in three models of reversible computation: reversible counter machines, reversible Turing machines and reversible onedimensional cellular automata. Immortality and periodicity are properties that describe
An Injective Language for Reversible Computation
 In Seventh International Conference on Mathematics of Program Construction (MPC 2004
, 2004
"... Erasure of information incurs an increase in entropy and dissipates heat. Therefore, informationpreserving computation is essential for constructing computers that use energy more ffectively. A more recent motivation to understand reversible transformations also comes from the design of editors whe ..."
Abstract

Cited by 11 (7 self)
 Add to MetaCart
Erasure of information incurs an increase in entropy and dissipates heat. Therefore, informationpreserving computation is essential for constructing computers that use energy more ffectively. A more recent motivation to understand reversible transformations also comes from the design of editors
Programming Reversible Computers
, 1996
"... I propose a program of Ph.D. thesis research on the theory and practice of how to easily and effectively program computers that are either fully or partially reversible, i.e., that either discard no information during their operation, or that do so only occasionally, and in a carefully controlled wa ..."
Abstract
 Add to MetaCart
I propose a program of Ph.D. thesis research on the theory and practice of how to easily and effectively program computers that are either fully or partially reversible, i.e., that either discard no information during their operation, or that do so only occasionally, and in a carefully controlled
A Highly Adaptive Distributed Routing Algorithm for Mobile Wireless Networks
, 1997
"... We present a new distributed routing protocol for mobile, multihop, wireless networks. The protocol is one of a family of protocols which we term "link reversal" algorithms. The protocol's reaction is structured as a temporallyordered sequence of diffusing computations; each computat ..."
Abstract

Cited by 1100 (6 self)
 Add to MetaCart
We present a new distributed routing protocol for mobile, multihop, wireless networks. The protocol is one of a family of protocols which we term "link reversal" algorithms. The protocol's reaction is structured as a temporallyordered sequence of diffusing computations; each
Scheduling for reduced CPU energy
 USENIX SYMP. OPERATING
, 1994
"... The energy usage of computer systems is becoming more important, especially for battery operated systems. Displays, disks, and cpus, in that order, use the most energy. Reducing the energy used by displays and disks has been studied elsewhere; this paper considers a new method for reducing the energ ..."
Abstract

Cited by 563 (2 self)
 Add to MetaCart
The energy usage of computer systems is becoming more important, especially for battery operated systems. Displays, disks, and cpus, in that order, use the most energy. Reducing the energy used by displays and disks has been studied elsewhere; this paper considers a new method for reducing
Oneway Functions In Reversible Computations
, 1996
"... Oneway functions are used in modern cryptosystems as doortraps because their inverse functions are supposed to be difficult to compute. Nonetheless with the discovery of reversible computation, it seems that one may break a oneway function by running a reversible computer backward. Here, we argue ..."
Abstract
 Add to MetaCart
Oneway functions are used in modern cryptosystems as doortraps because their inverse functions are supposed to be difficult to compute. Nonetheless with the discovery of reversible computation, it seems that one may break a oneway function by running a reversible computer backward. Here, we
Results 1  10
of
477,985