大葉大學圖書館 |

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /

纪录类型:	书目-语言数据,印刷品 : Monograph/item
[NT 15000414] null:	005.1015113
[NT 47271] Title/Author:	Reversible computation : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings // edited by Jean Krivine, Jean-Bernard Stefani.
[NT 51403] remainder title:	RC 2015
[NT 51406] other author:	Krivine, Jean.
[NT 51402] corporate name:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2015.
面页册数:	viii, 291 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
标题:	Reversible computing - Congresses.
标题:	Computer logic
标题:	Computer science - Periodicals. - Mathematics
标题:	Computer Science.
标题:	Logic Design.
标题:	Logics and Meanings of Programs.
标题:	Quantum Computing.
标题:	Computation by Abstract Devices.
标题:	Algorithm Analysis and Problem Complexity.
标题:	Software Engineering.
ISBN:	9783319208602 (electronic bk.)
ISBN:	9783319208596 (paper)
[NT 15000228] null:	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.
[NT 15000229] null:	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.
电子资源:	http://dx.doi.org/10.1007/978-3-319-20860-2

Reversible computation[electronic resource] :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] :RC 2015edited by Jean Krivine, Jean-Bernard Stefani. - Cham :Springer International Publishing :2015. - viii, 291 p. :ill., digital ;24 cm. - Lecture notes in computer science,91380302-9743 ;. - Lecture notes in computer science ;7103..

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 (electronic bk.)

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

591607
Reversible computing
--Congresses.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
LDR:03210nam a2200337 a 4500 001 439320
003 DE-He213
005 20160119171200.0
006 m d
007 cr nn 008maaau
008 160322s2015 gw s 0 eng d
020 $a 9783319208602 (electronic bk.)
020 $a 9783319208596 (paper)
024 7 $a 10.1007/978-3-319-20860-2 $2 doi
035 $a 978-3-319-20860-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.L63
072 7 $a UYF $2 bicssc
072 7 $a COM036000 $2 bisacsh
082 0 4 $a 005.1015113 $2 23
090 $a QA76.9.L63 $b R279 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
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.
246 3 $a RC 2015
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a viii, 291 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $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 Reversible computing $v Congresses. $3 591607
650 0 $a Computer logic $3 210496
650 0 $a Computer science $x Mathematics $v Periodicals. $3 345167
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Logic Design. $3 464632
650 2 4 $a Logics and Meanings of Programs. $3 466905
650 2 4 $a Quantum Computing. $3 590165
650 2 4 $a Computation by Abstract Devices. $3 463641
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 463701
650 2 4 $a Software Engineering. $3 464601
700 1 $a Krivine, Jean. $3 627111
700 1 $a Stefani, Jean-Bernard. $3 627112
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-20860-2
950 $a Computer Science (Springer-11645)