Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / Alexis de Vos, Robert Wille (eds.).
(Visualizza formato Marc21)
(visualizza in BIBRAME 2.0)
| Creatore: |
RC (Workshop : Reversible computation) (3rd : 2011 : Ghent, Belgium)
|
| Titolo: |
Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / Alexis de Vos, Robert Wille (eds.).
|
| Link to work: |
Reversible computation
|
| Pubblicazione: |
Berlin ; New York : Springer, ©2012
|
| Estensione: | 1 online resource (vii, 122 pages). |
| Tipo formato: | computer |
| Tipo contenuto: | text |
| Tipo supporto: | online resource |
| Disciplina: | 005.13/1 |
| Titolo uniforme di collana: | Lecture notes in computer science ; 7165. |
| LNCS sublibrary. SL 2, Programming and software engineering. | |
| Genere/Forma: | Electronic books |
| Conference papers and proceedings | |
| Index term-Uncontrolled: | 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 | |
| Soggetto non controllato: | 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 | |
| Termine d'indicizzazione-Occupazione: | 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 | |
| Classificazione LOC: | QA76.9.L63 W67 2011 |
| Creatori/Collaboratori: | Vos, Alexis de. |
| Wille, Robert | |
| Contenuto supplementare: | Includes bibliographical references and author index. |
| Nota di contenuto: | 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. |
| Restrizioni accesso: | Access is restricted to users affiliated with licensed institutions. |
| Sommario/riassunto: | 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. |
| Collana: | Lecture notes in computer science, 0302-9743 ; 7165 |
| LNCS sublibrary. SL 2, Programming and software engineering | |
| Varianti del titolo: | RC 2011 |
| ISBN: | 9783642295171 |
| 3642295177 | |
| 3642295169 | |
| 9783642295164 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 004374968 |
| Localizzazioni e accesso elettronico | http://link.springer.com/10.1007/978-3-642-29517-1 |
| Collocazione: | Electronic access |
| Lo trovi qui: | New York University |
Altra ed. diverso supporto:
Printed edition: 9783642295164