Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Reversible Computation [[electronic resource] ] : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / / edited by Simon Devitt, Ivan Lanese
| Reversible Computation [[electronic resource] ] : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / / edited by Simon Devitt, Ivan Lanese |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 339 p. 109 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Logic design
Computer logic Programming languages (Electronic computers) Quantum computers Computers Algorithms Logic Design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Quantum Computing Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-40578-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local reversibility -- Static VS Dynamic Reversibility in CCS -- Reversing Single Sessions -- Reversible Models -- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible Computation vs. Reversibility in Petri Nets -- Programming Languages -- Energy Efficient Language and Compiler for (Partially) Reversible Algorithms -- Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation -- Quaglia -- Elements of a Reversible Object-Oriented Language -- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum Computing -- Design and Fabrication of CSWAP Gate Based on Nanoelectromechanical Systems -- Design of p-valued Deutsch quantum gates with multiple control signals and mixed polarity -- Using pi-DDsforNearestNeighborOptimizationofQuantumCircuits -- Quantum Programming -- Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits -- Towards Quantum Programs Verification: From Quipper Circuits to QPMC -- Circuit Theory -- Application of Permutation Group Theory in Reversible Logic Synthesis -- Strongly Universal Reversible Gate Sets -- Enumeration of reversible functions and its application to circuit complexity -- A finite alternation result for reversible Boolean circuits -- Syntheses -- Generating reversible circuits from higher-order functional programs -- A fast symbolic transformation based algorithm for reversible logic synthesis.-Checking Reversibility of Boolean Functions. . |
| Record Nr. | UNISA-996466006303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / / edited by Simon Devitt, Ivan Lanese
| Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / / edited by Simon Devitt, Ivan Lanese |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 339 p. 109 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Logic design
Computer logic Programming languages (Electronic computers) Quantum computers Computers Algorithms Logic Design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Quantum Computing Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-40578-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local reversibility -- Static VS Dynamic Reversibility in CCS -- Reversing Single Sessions -- Reversible Models -- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible Computation vs. Reversibility in Petri Nets -- Programming Languages -- Energy Efficient Language and Compiler for (Partially) Reversible Algorithms -- Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation -- Quaglia -- Elements of a Reversible Object-Oriented Language -- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum Computing -- Design and Fabrication of CSWAP Gate Based on Nanoelectromechanical Systems -- Design of p-valued Deutsch quantum gates with multiple control signals and mixed polarity -- Using pi-DDsforNearestNeighborOptimizationofQuantumCircuits -- Quantum Programming -- Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits -- Towards Quantum Programs Verification: From Quipper Circuits to QPMC -- Circuit Theory -- Application of Permutation Group Theory in Reversible Logic Synthesis -- Strongly Universal Reversible Gate Sets -- Enumeration of reversible functions and its application to circuit complexity -- A finite alternation result for reversible Boolean circuits -- Syntheses -- Generating reversible circuits from higher-order functional programs -- A fast symbolic transformation based algorithm for reversible logic synthesis.-Checking Reversibility of Boolean Functions. . |
| Record Nr. | UNINA-9910484709803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||