Atjaunināt sīkdatņu piekrišanu

Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings 2015 ed. [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 291 pages, height x width: 235x155 mm, weight: 4569 g, 90 Illustrations, black and white; VIII, 291 p. 90 illus., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 9138
  • Izdošanas datums: 01-Jul-2015
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3319208594
  • ISBN-13: 9783319208596
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 45,13 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 53,10 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings 2015 ed.Palielināt
  • Formāts: Paperback / softback, 291 pages, height x width: 235x155 mm, weight: 4569 g, 90 Illustrations, black and white; VIII, 291 p. 90 illus., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 9138
  • Izdošanas datums: 01-Jul-2015
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3319208594
  • ISBN-13: 9783319208596
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783319208596.html
Keywords:
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.