Results 1  10
of
793,674
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 1342 (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 1096 (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
Blocksorting lossless data compression algorithmâ, SRC Research report 124, Digital Systems Research Center,
, 1994
"... The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support Digital's business objectives. Our current work includes exploring distributed personal computing o ..."
Abstract

Cited by 805 (5 self)
 Add to MetaCart
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support Digital's business objectives. Our current work includes exploring distributed personal computing
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
793,674