Sciweavers

7262 search results - page 14 / 1453
» Reversible Computer Hardware
Sort
View
STACS
1997
Springer
15 years 1 months ago
Intrinsic Universality of a 1-Dimensional Reversible Cellular Automaton
Abstract. This paper deals with simulation and reversibility in the context of Cellular Automata (ca). We recall the de nitions of ca and of the Block (bca) and Partitioned (pca) s...
Jérôme Olivier Durand-Lose
DATE
2010
IEEE
142views Hardware» more  DATE 2010»
15 years 2 months ago
A modeling method by eliminating execution traces for performance evaluation
—This paper describes a system-level modeling method in UML for performance evaluation of embedded systems. The core technology of this modeling method is reverse modeling based ...
Kouichi Ono, Manabu Toyota, Ryo Kawahara, Yoshifum...
61
Voted
ENTCS
2008
94views more  ENTCS 2008»
14 years 9 months ago
From Reversible to Irreversible Computations
In this paper we study the relation between reversible and irreversible computation applicable to different models of computation -- here we are considering classical and quantum ...
Alexander S. Green, Thorsten Altenkirch
APPINF
2003
14 years 11 months ago
Debugging Distributed Computations by Reverse Search
We develop a memory-efficient off-line algorithm for the enumeration of global states of a distributed computation. The algorithm allows the parameterization of its memory requir...
Artur Andrzejak, Komei Fukuda
CASES
2009
ACM
14 years 7 months ago
Spatial complexity of reversibly computable DAG
In this paper we address the issue of making a program reversible in terms of spatial complexity. Spatial complexity is the amount of memory/register locations required for perfor...
Mouad Bahi, Christine Eisenbeis