Reversible Computation (Lecture Notes in Computer Science) de Jean Krivine

Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings: Lecture Notes in Computer Science, cartea 9138

Jean Krivine

Jean-Bernard Stefani

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.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 741^.34 lei
20%

Preț: 340^.22 lei
20%

Preț: 343^.43 lei
20%

Preț: 315^.18 lei
20%

Preț: 327^.41 lei
20%

Preț: 1031^.06 lei
20%

Preț: 438^.67 lei
20%

Preț: 315^.76 lei
20%

Preț: 330^.61 lei
20%

Preț: 148^.66 lei
20%

Preț: 122^.89 lei
20%

Preț: 995^.03 lei
20%

Preț: 562^.71 lei
20%

Preț: 237^.99 lei
20%

Preț: 504^.57 lei
20%

Preț: 332^.20 lei
15%

Preț: 563^.85 lei
20%

Preț: 636^.26 lei
5%

Preț: 365^.59 lei
20%

Preț: 321^.95 lei
20%

Preț: 310^.26 lei
20%

Preț: 607^.38 lei
Preț: 370^.38 lei
20%

Preț: 172^.68 lei
20%

Preț: 315^.76 lei
20%

Preț: 662^.78 lei
20%

Preț: 256^.26 lei
20%

Preț: 440^.36 lei
20%

Preț: 626^.79 lei
20%

Preț: 566^.70 lei
17%

Preț: 360^.19 lei
20%

Preț: 309^.90 lei
20%

Preț: 579^.38 lei
20%

Preț: 301^.94 lei
20%

Preț: 307^.71 lei
20%

Preț: 369^.12 lei
20%

Preț: 330^.61 lei
20%

Preț: 1044^.38 lei
20%

Preț: 574^.58 lei
Preț: 399^.17 lei
20%

Preț: 802^.24 lei
20%

Preț: 569^.11 lei
20%

Preț: 1374^.12 lei
20%

Preț: 333^.84 lei
20%

Preț: 538^.29 lei
20%

Preț: 326^.97 lei

Specificații

ISBN-13: 9783319208596
ISBN-10: 3319208594
Pagini: 291
Ilustrații: VIII, 291 p. 90 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.42 kg
Ediția:2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

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.

Textul de pe ultima copertă