Sciweavers

277 search results - page 2 / 56
» From Reversible to Irreversible Computations
Sort
View
CONCUR
2005
Springer
13 years 10 months ago
Transactions in RCCS
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
Vincent Danos, Jean Krivine
DATE
2009
IEEE
106views Hardware» more  DATE 2009»
13 years 12 months ago
Debugging of Toffoli networks
—Intensive research is performed to find post-CMOS technologies. A very promising direction based on reversible logic are quantum computers. While in the domain of reversible lo...
Robert Wille, Daniel Große, Stefan Frehse, G...
DSN
2005
IEEE
13 years 10 months ago
Reversible Fault-Tolerant Logic
It is now widely accepted that the CMOS technology implementing irreversible logic will hit a scaling limit beyond 2016, and that the increased power dissipation is a major limiti...
P. Oscar Boykin, Vwani P. Roychowdhury
ICIP
2005
IEEE
14 years 6 months ago
Lossy to lossless image compression using allpass filters
In this paper, an effective implementation of the allpass-based orthonormal symmetric wavelets is proposed for image compression. Since the orthonormal symmetric wavelets are used...
Xi Zhang, Kousuke Kawai, Toshinori Yoshikawa, Yosh...
VTS
2003
IEEE
115views Hardware» more  VTS 2003»
13 years 10 months ago
Fault Testing for Reversible Circuits
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
Ketan N. Patel, John P. Hayes, Igor L. Markov