| Description |
1 online resource (vii, 122 pages) |
| Series |
Lecture notes in computer science, 0302-9743 ; 7165 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7165.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Time complexity of tape reduction for reversible Turing machines / Holger Bock Axelsen -- Towards a reversible functional language / Tetsuo Yokoyama, Holger Bock Axelsen and Robert Glück -- A reversible processor architecture and its reversible logic design / Michael Kirkedal Thomsen, Holger Bock Axelsen and Robert Glück -- Optimization of reversible circuits using reconfigured templates / Md. Mazder Rahman, Gerhard W. Dueck and Anindita Banerjee -- Hybrid GF(2) -- Boolean expressions .for quantum computing circuits / Claudio Moraga -- RevKit : an open source toolkit for the design of reversible circuits / Mathias Soeken, Stefan Frehse, Robert Wille and Rolf Drechsler -- Transforming MCT circuits to NCVW circuits / Zahra Sasanian and D. Michael Miller -- Changing the gate order for optimal LNN conversion / Atsushi Matsuo and Shigeru Yamashita -- Towards the limits of cascaded reversible (quantum-inspired) circuits / Stéphane Burignat, Mariusz Olczak, Michał Klimczak and Alexis De Vos -- Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits / Stéphane Burignat, Michael Kirkedal Thomsen, Michał Klimczak, Mariusz Olczak and Alexis De Vos |
| Summary |
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies |
| Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Computer software |
|
Logic design |
|
Logics and Meanings of Programs |
|
Algorithm Analysis and Problem Complexity |
|
Programming Languages, Compilers, Interpreters |
|
Mathematical Logic and Formal Languages |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Reversible computing -- Congresses
|
|
Computer logic -- Congresses
|
|
Computer science -- Mathematics -- Congresses
|
|
Software engineering -- Congresses
|
|
Informatique.
|
|
Computer logic
|
|
Computer science -- Mathematics
|
|
Reversible computing
|
|
Software engineering
|
| Genre/Form |
Conference papers and proceedings
|
|
Software.
|
| Form |
Electronic book
|
| Author |
Vos, Alexis de.
|
|
Wille, Robert.
|
| ISBN |
9783642295171 |
|
3642295177 |
|
3642295169 |
|
9783642295164 |
|
