Search results for "RC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron	An Introduction to Quantum Programming in Quipper.	RC	2013	DBLP DOI BibTeX RDF
1	Iain Phillips 0001, Irek Ulidowski, Shoji Yuen	Modelling of Bonding with Processes and Events.	RC	2013	DBLP DOI BibTeX RDF
1	Martin Kutrib, Thomas Worsch	Time-Symmetric Machines.	RC	2013	DBLP DOI BibTeX RDF
1	Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler	Reducing the Depth of Quantum Circuits Using Additional Circuit Lines.	RC	2013	DBLP DOI BibTeX RDF
1	Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor	Quantum Process Calculus for Linear Optical Quantum Computing.	RC	2013	DBLP DOI BibTeX RDF
1	Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen	Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier.	RC	2013	DBLP DOI BibTeX RDF
1	Gerhard W. Dueck, D. Michael Miller (eds.)	Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings	RC	2013	DBLP DOI BibTeX RDF
1	Holger Bock Axelsen, Robert Glück	Reversible Representation and Manipulation of Constructor Terms in the Heap.	RC	2013	DBLP DOI BibTeX RDF
1	Peter M. Hines	Identities in Modular Arithmetic from Reversible Coherence Operations.	RC	2013	DBLP DOI BibTeX RDF
1	Philipp Niemann 0001, Robert Wille, Rolf Drechsler	On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure.	RC	2013	DBLP DOI BibTeX RDF
1	Robert Glück, Tetsuo Yokoyama (eds.)	Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers	RC	2013	DBLP DOI BibTeX RDF
1	Daniel Morrison, Irek Ulidowski	Reversible Delay-Insensitive Distributed Memory Modules.	RC	2013	DBLP DOI BibTeX RDF
1	Mathias Soeken, Michael Kirkedal Thomsen	White Dots do Matter: Rewriting Reversible Logic Circuits.	RC	2013	DBLP DOI BibTeX RDF
1	Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta 0001, Hafizur Rahaman 0001, Rolf Drechsler	Exploiting Negative Control Lines in the Optimization of Reversible Circuits.	RC	2013	DBLP DOI BibTeX RDF
1	Mehdi Saeedi, Alireza Shafaei, Massoud Pedram	Constant-Factor Optimization of Quantum Adders on 2D Quantum Architectures.	RC	2013	DBLP DOI BibTeX RDF
1	Samer Houri, Alexandre Valentian, Hervé Fanet	Comparing CMOS-Based and NEMS-Based Adiabatic Logic Circuits.	RC	2013	DBLP DOI BibTeX RDF
1	Jonathan A. Poritz	Universal Gates in Other Universes.	RC	2013	DBLP DOI BibTeX RDF
1	Bob Coecke, Ross Duncan	Tutorial: Graphical Calculus for Quantum Circuits.	RC	2012	DBLP DOI BibTeX RDF
1	Iain Phillips 0001, Irek Ulidowski, Shoji Yuen	A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.	RC	2012	DBLP DOI BibTeX RDF
1	Diarmuid Early, Ang Gao, Michel P. Schellekens	Frugal Encoding in Reversible MOQA: A Case Study for Quicksort.	RC	2012	DBLP DOI BibTeX RDF
1	Alexis De Vos, Robert Wille (eds.)	Reversible Computation - Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers	RC	2012	DBLP DOI BibTeX RDF
1	Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen	Garbageless Reversible Implementation of Integer Linear Transformations.	RC	2012	DBLP DOI BibTeX RDF
1	Holger Bock Axelsen, Michael Kirkedal Thomsen	Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1.	RC	2012	DBLP DOI BibTeX RDF
1	Julia Seiter 0002, Mathias Soeken, Robert Wille, Rolf Drechsler	Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams.	RC	2012	DBLP DOI BibTeX RDF
1	Zahra Sasanian, D. Michael Miller	Reversible and Quantum Circuit Optimization: A Functional Approach.	RC	2012	DBLP DOI BibTeX RDF
1	Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler	Using πDDs in the Design of Reversible Circuits.	RC	2012	DBLP DOI BibTeX RDF
1	Cong Hou, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc	Synthesizing Loops for Program Inversion.	RC	2012	DBLP DOI BibTeX RDF
1	Martin Kutrib, Andreas Malcher	One-Way Reversible Multi-head Finite Automata.	RC	2012	DBLP DOI BibTeX RDF
1	Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani	Controlled Reversibility and Compensations.	RC	2012	DBLP DOI BibTeX RDF
1	Jean Krivine	A Verification Technique for Reversible Process Algebra.	RC	2012	DBLP DOI BibTeX RDF
1	Rodrigo Torres-Avilés, Nicolas Ollinger, Anahí Gajardo	Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine.	RC	2012	DBLP DOI BibTeX RDF
1	Roshan P. James, Amr Sabry	Isomorphic Interpreters from Logically Reversible Abstract Machines.	RC	2012	DBLP DOI BibTeX RDF
1	Kenichi Morita	A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads.	RC	2012	DBLP DOI BibTeX RDF
1	Ulrik Pagh Schultz	Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots.	RC	2012	DBLP DOI BibTeX RDF
1	Md. Mazder Rahman, Gerhard W. Dueck	Properties of Quantum Templates.	RC	2012	DBLP DOI BibTeX RDF
1	Noor M. Nayeem, Jacqueline E. Rice	Design of an Online Testable Ternary Circuit from the Truth Table.	RC	2012	DBLP DOI BibTeX RDF
1	Marek Szyprowski, Pawel Kerntopf	Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits.	RC	2012	DBLP DOI BibTeX RDF
1	Stéphane Burignat, Mariusz Olczak, Michal Klimczak, Alexis De Vos	Towards the Limits of Cascaded Reversible (Quantum-Inspired) Circuits.	RC	2011	DBLP DOI BibTeX RDF
1	Holger Bock Axelsen	Time Complexity of Tape Reduction for Reversible Turing Machines.	RC	2011	DBLP DOI BibTeX RDF
1	Atsushi Matsuo, Shigeru Yamashita	Changing the Gate Order for Optimal LNN Conversion.	RC	2011	DBLP DOI BibTeX RDF
1	Zahra Sasanian, D. Michael Miller	Transforming MCT Circuits to NCVW Circuits.	RC	2011	DBLP DOI BibTeX RDF
1	Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück	Towards a Reversible Functional Language.	RC	2011	DBLP DOI BibTeX RDF
1	Md. Mazder Rahman, Gerhard W. Dueck, Anindita Banerjee	Optimization of Reversible Circuits Using Reconfigured Templates.	RC	2011	DBLP DOI BibTeX RDF
1	Stéphane Burignat, Michael Kirkedal Thomsen, Michal Klimczak, Mariusz Olczak, Alexis De Vos	Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits.	RC	2011	DBLP DOI BibTeX RDF
1	Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler	RevKit: An Open Source Toolkit for the Design of Reversible Circuits.	RC	2011	DBLP DOI BibTeX RDF
1	Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück	A Reversible Processor Architecture and Its Reversible Logic Design.	RC	2011	DBLP DOI BibTeX RDF
1	Claudio Moraga	Hybrid GF(2) - Boolean Expressions ..for Quantum Computing Circuits.	RC	2011	DBLP DOI BibTeX RDF
1	J. V. R. Ravindra, Srinivas Bala Mandalika	Modeling and analysis of crosstalk for distributed RLC interconnects using difference model approach.	SBCCI	2007	DBLP DOI BibTeX RDF	RC, distributed RLC, interconnect, SPICE, circuit, RL
1	Chirayu S. Amin, Yehea I. Ismail, Florentin Dartu	Piece-wise approximations of RLCK circuit responses using moment matching.	DAC	2005	DBLP DOI BibTeX RDF	RC, RLCK circuits, interconnect timing analysis, moments, RLC