Muutke küpsiste eelistusi

Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings 2015 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 291 pages, kõrgus x laius: 235x155 mm, kaal: 4569 g, 90 Illustrations, black and white; VIII, 291 p. 90 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9138
  • Ilmumisaeg: 01-Jul-2015
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319208594
  • ISBN-13: 9783319208596
Teised raamatud teemal:
  • Pehme köide
  • Hind: 46,85 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 55,12 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings 2015 ed.Suurem pilt
  • Formaat: Paperback / softback, 291 pages, kõrgus x laius: 235x155 mm, kaal: 4569 g, 90 Illustrations, black and white; VIII, 291 p. 90 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9138
  • Ilmumisaeg: 01-Jul-2015
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319208594
  • ISBN-13: 9783319208596
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783319208596.html
Märksõnad:
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.
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.