Search results for "reversible"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
151	Sylvain Lombardy	On the Construction of Reversible Automata for Reversible Languages.	ICALP	2002	DBLP DOI BibTeX RDF	reversible languages, reversible automata, universal automata, Finite automata
105	Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück	Reversible Flowchart Languages and the Structured Reversible Program Theorem.	ICALP (2)	2008	DBLP DOI BibTeX RDF
105	Himanshu Thapliyal, A. Prasad Vinod 0001	Designing Efficient Online Testable Reversible Adders With New Reversible Gate.	ISCAS	2007	DBLP DOI BibTeX RDF
105	Himanshu Thapliyal, A. Prasad Vinod 0001	Transistor Realization of Reversible TSG Gate and Reversible Adder Architectures.	APCCAS	2006	DBLP DOI BibTeX RDF
90	Michael P. Frank	Introduction to reversible computing: motivation, progress, and challenges.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	digital logic technologies, field-effect devices, limits of computing, VLSI, high-performance computing, computer architecture, power management, reversible computing, reversible logic, unconventional computing, low-power computing
87	Jae-Jin Lee, Dong-Guk Hwang, Gi-Yong Song	Design of a Reversible PLD Architecture.	ARC	2007	DBLP DOI BibTeX RDF
85	Avik Chakraborty	Synthesis of Reversible Circuits for Testing with Universal Test Set and C-Testability of Reversible Iterative Logic Arrays.	VLSI Design	2005	DBLP DOI BibTeX RDF	Fault models, Testability, Design for test, Iterative logic arrays, Universal test sets, Reversible circuits
84	Xiaojun Ma, Jing Huang 0001, Cecilia Metra, Fabrizio Lombardi	Reversible Gates and Testability of One Dimensional Arrays of Molecular QCA.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Testing, Emerging technologies, Reversible computing, QCA
78	Pallav Gupta, Abhinav Agrawal 0002, Niraj K. Jha	An Algorithm for Synthesis of Reversible Logic Circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
76	Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler	Enhancing debugging of multiple missing control errors in reversible logic.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	boolean satisfiablity (SAT), debugging, reversible logic
76	Min-Lun Chuang, Chun-Yao Wang	Synthesis of reversible sequential elements.	ACM J. Emerg. Technol. Comput. Syst.	2008	DBLP DOI BibTeX RDF	sequential elements, sequential circuits, Reversible logic
76	Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück	Principles of a reversible programming language.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	backward determinism, inverse semantics, fast fourier transform, reversible computing, turing completeness
76	Xiaojun Ma, Jing Huang 0001, Cecilia Metra, Fabrizio Lombardi	Testing Reversible 1D Arrays for Molecular QCA.	DFT	2006	DBLP DOI BibTeX RDF	emerging technologies, Reversible computing, QCA
76	Erik DeBenedictis	Reversible logic for supercomputing.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	climate change global warming, computer architecture, supercomputing, reversible logic, quantum dot cellular automata, applications modeling
73	Tetsuo Yokoyama, Robert Glück	A reversible programming language and its invertible self-interpreter.	PEPM	2007	DBLP DOI BibTeX RDF	Janus, non-standard interpreter hierarchy, reversible programming language, self-interpreter, reversible computing, program inversion
71	Hui Li, Zhijin Guan, Shanli Chen, Yuxin Chen	The Reversible Network Cascade Based on Reversible Logic Gate Coding Method.	IAS	2009	DBLP DOI BibTeX RDF
71	Himanshu Thapliyal, M. B. Srinivas	A Novel Reversible TSG Gate and Its Application for Designing Reversible Carry Look-Ahead and Other Adder Architectures.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
69	Jarkko Kari	Structure of Reversible Cellular Automata.	UC	2009	DBLP DOI BibTeX RDF
69	Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama	Reversible Machine Code and Its Abstract Processor Architecture.	CSR	2007	DBLP DOI BibTeX RDF
69	Himanshu Thapliyal, A. Prasad Vinod 0001	Design of Reversible Sequential Elements With Feasibility of Transistor Implementation.	ISCAS	2007	DBLP DOI BibTeX RDF
69	Himanshu Thapliyal, Saurabh Kotiyal, M. B. Srinivas	Novel BCD Adders and Their Reversible Logic Implementation for IEEE 754r Format.	VLSI Design	2006	DBLP DOI BibTeX RDF
69	Jin Li	Low noise reversible MDCT (RMDCT) and its application in progressive-to-lossless embedded audio coding.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
67	Oleg Golubitsky, Sean M. Falconer, Dmitri Maslov	Synthesis of the optimal 4-bit reversible circuits.	DAC	2010	DBLP DOI BibTeX RDF	quantum computing, logic synthesis, reversible circuits
67	Wen-Chung Kuo, Dong-Jin Jiang, Yu-Chih Huang	Reversible Data Hiding Based on Histogram.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Histogram, Reversible data hide
67	Yongjian Hu, Byeungwoo Jeon, Zhiquan Lin, Hui Yang	Analysis and Comparison of Typical Reversible Watermarking Methods.	IWDW	2006	DBLP DOI BibTeX RDF	lossless watermark, data compression, data hiding, reversible watermarking
65	Ming Li 0001, Paul M. B. Vitányi	Reversible Simulation of Irreversible Computation.	CCC	1996	DBLP DOI BibTeX RDF	Irreversible computation, Computational energy dissipation, Reversible simulation, Storage space versus Energy Tradeoffs, Reversible computation
63	Daniel B. Miller, Edward Fredkin	Two-state, reversible, universal cellular automata in three dimensions.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	billiard ball model, nanoscale computing, nanotech, cellular automata, reversible computation, reversible computing, reversible logic, massively parallel, adiabatic computing
61	Yexin Zheng, Chao Huang	A novel Toffoli network synthesis algorithm for reversible logic.	ASP-DAC	2009	DBLP DOI BibTeX RDF
61	Xiaoyu Song, Guowu Yang, Marek A. Perkowski, Yuke Wang	Algebraic Characterization of Reversible Logic Gates.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
61	D. Michael Miller, Gerhard W. Dueck, Dmitri Maslov	A Synthesis Method for MVL Reversible Logi.	ISMVL	2004	DBLP DOI BibTeX RDF
61	Pawel Kerntopf	Synthesis of Multipurpose Reversible Logic Gates.	DSD	2002	DBLP DOI BibTeX RDF
61	Kenichi Morita	A Simple Universal Logic Element and Cellular Automata for Reversible Computing.	MCU	2001	DBLP DOI BibTeX RDF
60	Robert Wille, Daniel Große, Lisa Teuber, Gerhard W. Dueck, Rolf Drechsler	RevLib: An Online Resource for Reversible Functions and Reversible Circuits.	ISMVL	2008	DBLP DOI BibTeX RDF	Benchmarks, Synthesis, Reversible Logic
59	Xiaojun Ma, Jing Huang 0001, Cecilia Metra, Fabrizio Lombardi	Detecting Multiple Faults in One-Dimensional Arrays of Reversible QCA Gates.	J. Electron. Test.	2009	DBLP DOI BibTeX RDF	Array testing, Nanotechnology, Emerging technology, Reversible computing, QCA
59	Himanshu Thapliyal, Hamid R. Arabnia, M. B. Srinivas	Efficient Reversible Logic Design of BCD Subtractors.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	BCD subtractors, BCD adders, Reversible logic
59	Robert Wille, Rolf Drechsler	BDD-based synthesis of reversible logic for large functions.	DAC	2009	DBLP DOI BibTeX RDF	synthesis, decision diagrams, reversible logic, quantum logic
59	Michael Kirkedal Thomsen, Holger Bock Axelsen	Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder.	UC	2008	DBLP DOI BibTeX RDF	quantum computing, adders, circuits, Reversible computing
59	Hafizur Rahaman 0001, Dipak Kumar Kole, Debesh Kumar Das, Bhargab B. Bhattacharya	On the Detection of Missing-Gate Faults in Reversible Circuits by a Universal Test Set.	VLSI Design	2008	DBLP DOI BibTeX RDF	Missing-gate faults, quantum computing, reversible logic, testable design, universal test set
59	Michael Voigt, Bian Yang, Christoph Busch 0001	Reversible watermarking of 2D-vector data.	MM&Sec	2004	DBLP DOI BibTeX RDF	DCT, vector data, reversible watermarking
59	Pawel Kerntopf	A new heuristic algorithm for reversible logic synthesis.	DAC	2004	DBLP DOI BibTeX RDF	reversible logic circuits, synthesis
54	Zeljko Zilic, Katarzyna Radecka, Ali Kazamiphur	Reversible circuit technology mapping from non-reversible specifications.	DATE	2007	DBLP DOI BibTeX RDF
52	Jarkko Kari, Nicolas Ollinger	Periodicity and Immortality in Reversible Computing.	MFCS	2008	DBLP DOI BibTeX RDF
52	Mozammel H. A. Khan	Reversible Realization of Quaternary Decoder, Multiplexer, and Demultiplexer Circuits.	ISMVL	2008	DBLP DOI BibTeX RDF
52	José M. Sempere	Learning Reversible Languages with Terminal Distinguishability.	ICGI	2006	DBLP DOI BibTeX RDF
52	HyeRan Lee, KyungHyun Rhee	Reversible Data Embedding for Tamper-Proof Watermarks.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
52	Xiaoyun Wu, Xiaoping Liang, Hongmei Liu 0001, Jiwu Huang, Guoping Qiu	Reversible Semi-fragile Image Authentication Using Zernike Moments and Integer Wavelet Transform.	DRMTICS	2005	DBLP DOI BibTeX RDF
52	Dmitri Maslov, Gerhard W. Dueck	Reversible cascades with minimal garbage.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
52	Abhinav Agrawal 0002, Niraj K. Jha	Synthesis of Reversible Logic.	DATE	2004	DBLP DOI BibTeX RDF
52	Hafiz Md. Hasan Babu, Md. Rafiqul Islam 0001, Ahsan Raja Chowdhury, Syed Mostahed Ali Chowdhury	Reversible Logic Synthesis for Minimization of Full-Adder Circuit.	DSD	2003	DBLP DOI BibTeX RDF
52	Andrzej Buller, Marek A. Perkowski	Evolved Reversible Cascades Realized on the CAM-Brain Machine.	Evolvable Hardware	2003	DBLP DOI BibTeX RDF
52	Richard Královic	Time and Space Complexity of Reversible Pebbling.	SOFSEM	2001	DBLP DOI BibTeX RDF
52	Artur Przelaskowski	Lifting-Based Reversible Transforms for Lossy-to-Lossless Wavelet Codecs.	CAIP	2001	DBLP DOI BibTeX RDF	integer-to-integer transform, lifting scheme, wavelet coding
50	Jiaoyan Chen, Dilip P. Vasudevan, Emanuel M. Popovici, Michel P. Schellekens	Reversible online BIST using bidirectional BILBO.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	bilbo, bist, testing, reversible logic
50	Robert Wille, Mathias Soeken, Rolf Drechsler	Reducing the number of lines in reversible circuits.	DAC	2010	DBLP DOI BibTeX RDF	optimization, quantum computation, reversible logic
50	Michal Kukiela	Reversible and Bijectively Related Posets.	Order	2009	DBLP DOI BibTeX RDF	Order-preserving bijection, Order isomorphism, Reversible poset, Bijectively related posets
50	James Donald, Niraj K. Jha	Reversible logic synthesis with Fredkin and Peres gates.	ACM J. Emerg. Technol. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Quantum computing, reversible logic
50	Kyung-Su Kim 0001, Min-Jeong Lee, Heung-Kyu Lee, Young-Ho Suh	Histogram-based reversible data hiding technique using subsampling.	MM&Sec	2008	DBLP DOI BibTeX RDF	histogram modification, watermarking, subsampling, reversible data hiding, contents authentication
50	Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler	Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares.	ISMVL	2008	DBLP DOI BibTeX RDF	Synthesis, Boolean Satisfiability, Reversible Logic
50	Dmitri Maslov, Gerhard W. Dueck, D. Michael Miller	Techniques for the synthesis of reversible Toffoli networks.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	reversible logic synthesis, quantum computing, circuit optimization
50	Chung-Chuan Wang, Chin-Chen Chang 0001, Xinpeng Zhang 0001, Jinn-ke Jan	Senary Huffman Compression - A Reversible Data Hiding Scheme for Binary Images.	MCAM	2007	DBLP DOI BibTeX RDF	visual perception, PSNR, reversible data hiding
50	Bian Yang, Martin Schmucker, Christoph Busch 0001, Xiamu Niu, Sheng-He Sun	Approaching optimal value expansion for reversible watermarking.	MM&Sec	2005	DBLP DOI BibTeX RDF	histogram expansion, value expansion, reversible watermarking
50	Na Li, Jiajun Bu, Chun Chen 0001	A reversible color transform for 16-bit-color picture coding.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	16-bit color, hicolor image, low-end, picture coding, reversible color transform, coding efficiency
50	D. Michael Miller, Dmitri Maslov, Gerhard W. Dueck	A transformation based algorithm for reversible logic synthesis.	DAC	2003	DBLP DOI BibTeX RDF	templates, minimization, reversible logic, quantum circuits
50	Shyh-Kwei Chen, W. Kent Fuchs, Jen-Yao Chung	Reversible Debugging Using Program Instrumentation.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	reversible execution, compilers, program instrumentation, Debuggers, assembly language
50	Klaus-Jörn Lange, Pierre McKenzie, Alain Tapp	Reversible Space Equals Deterministic Space.	CCC	1997	DBLP DOI BibTeX RDF	determinism, reversible computation, Complexity classes, space bounds
49	Daniel Große, Xiaobo Chen, Gerhard W. Dueck, Rolf Drechsler	Exact sat-based toffoli network synthesis.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	synthesis, minimization, boolean satisfiability, reversible logic, quantum circuits
49	Marek A. Perkowski, Nouraddin Alhagi, Martin Lukac, Neha Saxena, Scott Blakely	Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-Gates.	ISMVL	2010	DBLP DOI BibTeX RDF	pseudo-reversible logic gates, reversible circuits
48	Paul M. B. Vitányi	Time, space, and energy in reversible computing.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	energy dissipation complexity, low-energy computing, reversible simulation, computational complexity, time complexity, space complexity, reversible computing, tradeoffs, adiabatic computing
45	Hafiz Md. Hasan Babu, Ahsan Raja Chowdhury	Design of a Reversible Binary Coded Decimal Adder by Using Reversible 4-Bit Parallel Adder.	VLSI Design	2005	DBLP DOI BibTeX RDF
45	Hugo de Garis, Jonathan Dinerstein, Ravichandra Sriram	Reversible Evolvable Networks: A Reversible Evolvable Boolean Network Architecture and Methodology to Overcome the Heat Generation Problem in Molecular Scale Brain Building.	Evolvable Hardware	2002	DBLP DOI BibTeX RDF
44	Pengwei Hao	Reversible Resampling of Integer Signals.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
44	Min-Lun Chuang, Chun-Yao Wang	Synthesis of Reversible Sequential Elements.	ASP-DAC	2007	DBLP DOI BibTeX RDF
44	Wenqian Li, Hanwu Chen, Zhiqiang Li 0001	Application of Semi-Template in Reversible Logic Circuit.	CSCWD	2007	DBLP DOI BibTeX RDF
44	Martin Kutrib, Andreas Malcher	Real-Time Reversible Iterative Arrays.	FCT	2007	DBLP DOI BibTeX RDF
44	Zhicheng Ni, Yun-Qing Shi 0001, Nirwan Ansari, Wei Su 0001	Reversible data hiding.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
44	Bill Stoddart, Frank Zeyda, Robert Lynas	A Design-Based Model of Reversible Computation.	UTP	2006	DBLP DOI BibTeX RDF
44	Himanshu Thapliyal, M. B. Srinivas	The New BCD Subtractor and Its Reversible Logic Implementation.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
44	Jacqueline E. Rice	A new look at reversible memory elements.	ISCAS	2006	DBLP DOI BibTeX RDF
44	Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski	Fast synthesis of exact minimal reversible circuits using group theory.	ASP-DAC	2005	DBLP DOI BibTeX RDF
44	Mihai Oltean	Evolving Reversible Circuits for the Even-Parity Problem.	EvoWorkshops	2005	DBLP DOI BibTeX RDF
44	Ya Bing Chen, Tok Wang Ling, Mong-Li Lee	Maintaining Semantics in the Design of Valid and Reversible SemiStructured Views.	DASFAA	2005	DBLP DOI BibTeX RDF
44	Alberto Leporati, Claudio Zandron, Giancarlo Mauri	Universal Families of Reversible P Systems.	MCU	2004	DBLP DOI BibTeX RDF
44	Hafiz Md. Hasan Babu, Md. Rafiqul Islam 0001, Syed Mostahed Ali Chowdhury, Ahsan Raja Chowdhury	Synthesis of Full-Adder Circuit Using Reversible Logic.	VLSI Design	2004	DBLP DOI BibTeX RDF
44	Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita, Shinro Mashiko	Reversible Computation in Asynchronous Cellular Automata.	UMC	2002	DBLP DOI BibTeX RDF
44	Michael D. Adams 0002, Faouzi Kossentini	Reversible integer-to-integer wavelet transforms for image compression: performance evaluation and analysis.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
44	Jean-Eric Pin	On the Language Accepted by Finite Reversible Automata.	ICALP	1987	DBLP DOI BibTeX RDF
43	André Vital Saúde	New Higher-Resolution Discrete Euclidean Medial Axis in nD with Linear Time Parallel Algorithm.	SIBGRAPI	2008	DBLP DOI BibTeX RDF
43	Sridhar Srinivasan	Modulo transforms - an alternative to lifting.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
42	Yanan Fan, Gareth W. Peters, Scott A. Sisson	Automating and evaluating reversible jump MCMC proposal distributions.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Between-model mappings, Path sampling, Transdimensional MCMC, Markov chain Monte Carlo, Density estimation, Reversible jump
42	Dong Wang, Hanwu Chen, Bo An 0008, Zhongming Yang	A Novel RM-Based Algorithm for Reversible Circuits.	ISICA	2009	DBLP DOI BibTeX RDF	quantum reversible circuits, CNOT gate, Toffoli gate, Reed-Muller expansion
42	Zhijin Guan, Xiaolin Qin, Xinchun Cui	Reversible Network Iterative Construct Method Based on the Cascade Operation.	ITNG	2008	DBLP DOI BibTeX RDF	reversible network, Boolean permutation, cascade
42	Cristina Tîrnauca, Timo Knuutila	Polynomial Time Algorithms for Learning k -Reversible Languages and Pattern Languages with Correction Queries.	ALT	2007	DBLP DOI BibTeX RDF	k-reversible languages, pattern languages, polynomial algorithms, Correction queries
42	Kenichi Morita, Yoshikazu Yamaguchi	A Universal Reversible Turing Machine.	MCU	2007	DBLP DOI BibTeX RDF	universal Turing machine, cyclic tag system, reversible computing
42	Sarah E. Murphy, Erik DeBenedictis, Peter M. Kogge	General floorplan for reversible quantum-dot cellular automata.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	reversible computing, quantum-dot cellular automata
42	Chin-Chen Chang 0001, Yi-Hui Chen, Yung-Chen Chou	Reversible Data Embedding Technique for Palette Images Using De-clustering.	MCAM	2007	DBLP DOI BibTeX RDF	Color palette image, declustering reversible, steganography, data hiding
42	Sergio Hernandez-Marin, Andrew M. Wallace, Gavin J. Gibson	Creating Multi-layered 3D Images Using Reversible Jump MCMC Algorithms.	ISVC (2)	2006	DBLP DOI BibTeX RDF	3D ranging and imaging, reversible jump Markov chain Monte Carlo, multi-layered image, time-correlated single photon counting, burst illumination laser, Markov random fields
42	Zhe-Ming Lu, Hao Luo 0001, Jeng-Shyang Pan 0001	Reversible Watermarking for Error Diffused Halftone Images Using Statistical Features.	IWDW	2006	DBLP DOI BibTeX RDF	statistical features, reversible watermarking, halftone image
42	Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski	Bi-Direction Synthesis for Reversible Circuits.	ISVLSI	2005	DBLP DOI BibTeX RDF	Algorithm, Minimization, Reversible Logic, Quantum Circuits
42	Satoshi Nakamura	Reversible display: content browsing with reverse operations in mobile computing environments.	Mobile HCI	2005	DBLP DOI BibTeX RDF	double display, reverse operation, reversible display
42	Sabu Emmanuel, Chee Kiang Heng, Amitabha Das	A Reversible Watermarking Scheme for JPEG-2000 Compressed Images.	ICME	2005	DBLP DOI BibTeX RDF	Finite State Machine Based Watermarking, Image Authentication, JPEG-2000, Reversible Watermarking