Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : RC Workshop : Reversible computation (3 ; 2011 ; Ghent, Belgium)  Voir les notices liées en tant qu'auteur

Titre(s) : Reversible computation [Texte électronique] : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / Alexis de Vos, Robert Wille (eds.)

Publication : Berlin ; New York : Springer, cop. 2012

Description matérielle : 1 online resource (vii, 122 pages)

Collection : Lecture notes in computer science ; 7165
LNCS sublibrary. SL 2, Programming and software engineering

Note(s) : Includes bibliographical references and author index
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

Autre(s) auteur(s) : Vos, Alexis de. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Wille, Robert. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Vos, Alexis. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : RC 2011

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Logique informatique  Voir les notices liées en tant que sujet
Informatique -- Mathématiques  Voir les notices liées en tant que sujet
Calcul réversible  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet ; 005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642295171

Identifiant de la notice  : ark:/12148/cb44704381v

Notice n° :  FRBNF44704381 (notice reprise d'un réservoir extérieur)

Table des matières : 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 revers