國立虎尾科技大學 |

Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Reversible Computation/ edited by Jean Krivine, Jean-Bernard Stefani.
Reminder of title:	7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
other author:	Krivine, Jean.
Description:	VIII, 291 p. 90 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Logic design. -
Online resource:	https://doi.org/10.1007/978-3-319-20860-2
ISBN:	9783319208602

Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
Reversible Computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /[electronic resource] :edited by Jean Krivine, Jean-Bernard Stefani. - 1st ed. 2015. - VIII, 291 p. 90 illus.online resource. - Programming and Software Engineering ;9138. - Programming and Software Engineering ;8987.

Invited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific Language for Reversible Assembly Sequences -- Design and verification of quantum circuits -- Reversibility in Extended Measurement-based Quantum Computation -- A Fully Fault-Tolerant Representation of Quantum Circuits -- Equational reasoning about quantum protocols -- Design of reversible circuits -- Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking -- Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits -- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics -- Circuit Synthesis -- Technology Mapping for Single Target Gate based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits -- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions -- Short Papers -- Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits -- A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level -- Towards modelling of local reversibility -- Application of Functional Decomposition in Synthesis of Reversible Circuits.

This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits, and circuit synthesis.

ISBN: 9783319208602

Standard No.: 10.1007/978-3-319-20860-2doiSubjects--Topical Terms:

561473
Logic design.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 621.395

Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
LDR:03545nam a22004095i 4500 001 969123
003 DE-He213
005 20200629205212.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319208602 $9 978-3-319-20860-2
024 7 $a 10.1007/978-3-319-20860-2 $2 doi
035 $a 978-3-319-20860-2
050 4 $a QA76.9.L63
072 7 $a UYF $2 bicssc
072 7 $a COM036000 $2 bisacsh
072 7 $a UYF $2 thema
082 0 4 $a 621.395 $2 23
245 1 0 $a Reversible Computation $h [electronic resource] : $b 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / $c edited by Jean Krivine, Jean-Bernard Stefani.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a VIII, 291 p. 90 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 9138
505 0 $a Invited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific Language for Reversible Assembly Sequences -- Design and verification of quantum circuits -- Reversibility in Extended Measurement-based Quantum Computation -- A Fully Fault-Tolerant Representation of Quantum Circuits -- Equational reasoning about quantum protocols -- Design of reversible circuits -- Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking -- Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits -- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics -- Circuit Synthesis -- Technology Mapping for Single Target Gate based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits -- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions -- Short Papers -- Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits -- A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level -- Towards modelling of local reversibility -- Application of Functional Decomposition in Synthesis of Reversible Circuits.
520 $a This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits, and circuit synthesis.
650 0 $a Logic design. $3 561473
650 0 $a Computer logic. $3 786340
650 0 $a Quantum computers. $3 564139
650 0 $a Computers. $3 565115
650 0 $a Algorithms. $3 527865
650 0 $a Software engineering. $3 562952
650 1 4 $a Logic Design. $3 670915
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Quantum Computing. $3 883739
650 2 4 $a Computation by Abstract Devices. $3 669792
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Software Engineering. $3 669632
700 1 $a Krivine, Jean. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1264708
700 1 $a Stefani, Jean-Bernard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 892830
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319208619
776 0 8 $i Printed edition: $z 9783319208596
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-20860-2
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)