书目名称 | Reversible Computation |
副标题 | Third International |
编辑 | Alexis Vos,Robert Wille |
视频video | |
概述 | Up-to-date results.Fast track conference proceedings.State-of-the-art report |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies. |
出版日期 | Conference proceedings 2012 |
关键词 | logic synthesis; process algebras; program debugging; quantum computing; testing; algorithm analysis and |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-29517-1 |
isbn_softcover | 978-3-642-29516-4 |
isbn_ebook | 978-3-642-29517-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2012 |