Vai al contenuto principale della pagina

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 Visualizza cluster
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