>> Google Books

Reversible Computation : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

フォーマット:
電子ブック
責任表示:
edited by Jean Krivine, Jean-Bernard Stefani
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
VIII, 291 p. 90 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9138
目次情報:
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
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
続きを見る
書誌ID:
LB00386333
ISBN:
9783319208596 [3319208594]  CiNii Books  Webcat Plus  Google Books
9783319208602 [3319208608]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Rozenberg, Grzegorz, Salomaa, Arto, Sempere, Jose M., Zandron, Claudio, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Pitts, Andrew, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Holvoet, Tom, Viroli, Mirko, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

D’Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Graf, Susanne, Viswanathan, Mahesh, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Kosowski, Adrian, Walukiewicz, Igor, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Durand-Lose, Jerome, Nagy, Benedek, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Parisi-Presicce, Francesco, Westfechtel, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Baier, Christel, Tinelli, Cesare, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Roux, Olivier, Bourdon, Jeremie, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Beklemishev, Lev D., Musatov, Daniil V., SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Shallit, Jeffrey, Okhotin, Alexander, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer