000 04063nam a22006375i 4500
001 978-3-030-21500-2
003 DE-He213
005 20240423125302.0
007 cr nn 008mamaa
008 190522s2019 sz | s |||| 0|eng d
020 _a9783030215002
_9978-3-030-21500-2
024 7 _a10.1007/978-3-030-21500-2
_2doi
050 4 _aQA76.9.L63
050 4 _aTK7888.4
072 7 _aUYF
_2bicssc
072 7 _aCOM036000
_2bisacsh
072 7 _aUYF
_2thema
082 0 4 _a621.395
_223
245 1 0 _aReversible Computation
_h[electronic resource] :
_b11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
_cedited by Michael Kirkedal Thomsen, Mathias Soeken.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aVIII, 247 p. 315 illus., 24 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11497
505 0 _aInvited Talk -- Concurrent Quantum Strategies -- Theory and Foundation -- A Birkhoff Connection between Quantum Circuits and Linear Classical Reversible Circuits -- Inversion, Iteration, and the Art of Dual Wielding -- Reversibility vs local creation/destruction -- Characterizing Compatible View Updates in Syntactic Bidirectionalization -- Programming Languages -- Sized Types for low-level Quantum Metaprogramming -- Reversible Imperative Parallel Programs and Debugging -- Circuit Synthesis -- Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation -- An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid -- Evaluation of Circuit Synthesis -- Evaluating the Flexibility of A* for Mapping Quantum Circuits -- Evaluating ESOP Optimization Methods in Quantum Compilation Flows -- Applications and Implementations -- Implementing NChooseK on IBM Q Quantum Computers -- Reversible Carry-Lookahead Addition With Few Ancillae -- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications.
520 _aThis book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
650 0 _aLogic design.
650 0 _aCompilers (Computer programs).
650 0 _aComputer programming.
650 0 _aComputer arithmetic and logic units.
650 0 _aArtificial intelligence.
650 0 _aComputer systems.
650 1 4 _aLogic Design.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aArithmetic and Logic Structures.
650 2 4 _aArtificial Intelligence.
650 2 4 _aComputer System Implementation.
700 1 _aThomsen, Michael Kirkedal.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSoeken, Mathias.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030214999
776 0 8 _iPrinted edition:
_z9783030215019
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11497
856 4 0 _uhttps://doi.org/10.1007/978-3-030-21500-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c176287
_d176287