Reversible Computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers / edited by Robert Glück, Tetsuo Yokoyama.

Format:

Book

Contributor:

Glück, R. (Robert), 1961- editor.

Yokoyama, Tetsuo, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 7581.

Programming and Software Engineering ; 7581

Language:

English

Subjects (All):

Logic design.

Computer logic.

Computers.

Algorithms.

Software engineering.

Logic Design.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Software Engineering.

Local Subjects:

Logic Design.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Software Engineering.

Physical Description:

1 online resource (X, 241 pages) : 70 illustrations.

Edition:

First edition 2013.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.

System Details:

text file PDF

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.

Contents:

Theoretical Considerations

Tutorial: Graphical Calculus for Quantum Circuits

One-Way Reversible Multi-head Finite Automata

A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads

Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine

Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines

Synthesizing Loops for Program Inversion

Frugal Encoding in Reversible MOQA: A Case Study for Quicksort

Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots

Reversible and Quantum Circuits

Reversible and Quantum Circuit Optimization: A Functional Approach

Properties of Quantum Templates

Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits

Design of an Online Testable Ternary Circuit from the Truth Table

Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations

Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k ± 2l ± 1

Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams

Using πDDs in the Design of Reversible Circuits (Work-In-Progress)

Distributed Systems

A Verification Technique for Reversible Process Algebra

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway

Controlled Reversibility and Compensations.

Other Format:

Printed edition:

ISBN:

978-3-642-36315-3

9783642363153

Access Restriction:

Restricted for use by site license.