Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7581 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7581.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Properties of quantum templates / Md. Mazder Rahman, Gerhard W. Dueck -- Optimal 4-bit reversible mixed-polarity Toffoli circuits / Marek Szyprowski, Paweł Kerntopf -- Design of an online testable ternary circuit from the truth table / Noor M. Nayeem, Jacqueline E. Rice -- Physical realizations and design -- Garbageless reversible implementation of integer linear transformations / Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen -- Garbage-free reversible integer multiplication with constants of the Ffrm 2 k "2 l "1 / Holger Bock Axelsen, Michael Kirkedal Thomsen -- Property checking of quantum circuits using quantum multiple-valued decision diagrams / Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler Using [pi]DDs in the design of reversible circuits / Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler -- Distributed systems -- A verification technique for reversible Process algebra / Jean Krivine -- A reversible process calculus and the modelling of the ERK signalling pathway / Iain Phillips, Irek Ulidowski, Shoji Yuen -- Controlled reversibility and compensations / Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
|
Theoretical considerations -- Tutorial : graphical calculus for quantum circuits / Bob Coecke, Ross Duncan -- One-way reversible multi-head finite automata / Martin Kutrib, Andreas Malcher -- A deterministic two-way multi-head finite automaton can be converted into a reversible one with the same number of heads / Kenichi Morita -- Undecidability of the surjectivity of the subshift associated to a Turing machine / Rodrigo Torres, Nicolas Ollinger, Anahí Gajardo -- Reversible software and languages -- Isomorphic interpreters from logically reversible abstract machines / Roshan P. James, Amr Sabry -- Synthesizing loops for program inversion / Cong Hou, Daniel Quinlan, David Jefferson, Richard Fujimoto, Richard Vuduc -- Frugal encoding in reversible MOQA : a case study for Quicksort / Diarmuid Early, Ang Gao, Michel Schellekens -- Towards a general-purpose, reversible language for controlling self-reconfigurable robots / Ulrik Pagh Schultz -- Reversible and quantum circuits -- Reversible and quantum circuit optimization : a functional approach / Zahra Sasanian, D. Michael Miller |
Summary |
This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing |
Analysis |
computerwetenschappen |
|
computer sciences |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
computational science |
|
ontwerp |
|
design |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references |
Subject |
Reversible computing -- Congresses
|
|
Computer logic -- Congresses
|
|
Computer science -- Mathematics -- Congresses
|
|
Software
|
|
software.
|
|
Computer logic
|
|
Computer science -- Mathematics
|
|
Reversible computing
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Software.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Glück, R. (Robert), 1961-
|
|
Yokoyama, Tetsuo.
|
ISBN |
9783642363153 |
|
3642363156 |
|
3642363148 |
|
9783642363146 |
|