Reversible Computation
portes grátis
Reversible Computation
14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings
Podlaski, Krzysztof; Mezzina, Claudio Antares
Springer International Publishing AG
06/2022
239
Mole
Inglês
9783031090042
15 a 20 dias
391
Descrição não disponível.
Reversible and Quantum Circuits.- Reversible computation in integrated photonics.- Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates.- Constructing all qutrit controlled Clifford+T gates in Clifford+T.- Fast Control for Reversible Processors.- Designing a Reversible Stack Machine.- Applications of Quantum Computing.- Directed Graph Encoding in Quantum Computing supporting Edge-Failures.- Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think.- Foundations and Applications.- Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean.- Algeo: An Algebraic Approach to Reversibility.- Concurrencies in Reversible Concurrent Calculi.- The @-Calculus.- Formal Translation from Reversing Petri Nets to Coloured Petri Nets.- Reversibility in Erlang: Imperative Constructs.- A Reversible Debugger for Imperative Parallel Programs with Contracts.- Towards Causal-consistent Reversibility of Imperative Concurrent Programs.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer hardware;computer networks;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;Field Programmable Gate Array (FPGA);formal logic;object-oriented programming;parallel processing systems;program compilers;programming languages;reversible circuits;software design;software engineering;theoretical computer science
Reversible and Quantum Circuits.- Reversible computation in integrated photonics.- Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates.- Constructing all qutrit controlled Clifford+T gates in Clifford+T.- Fast Control for Reversible Processors.- Designing a Reversible Stack Machine.- Applications of Quantum Computing.- Directed Graph Encoding in Quantum Computing supporting Edge-Failures.- Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think.- Foundations and Applications.- Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean.- Algeo: An Algebraic Approach to Reversibility.- Concurrencies in Reversible Concurrent Calculi.- The @-Calculus.- Formal Translation from Reversing Petri Nets to Coloured Petri Nets.- Reversibility in Erlang: Imperative Constructs.- A Reversible Debugger for Imperative Parallel Programs with Contracts.- Towards Causal-consistent Reversibility of Imperative Concurrent Programs.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer hardware;computer networks;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;Field Programmable Gate Array (FPGA);formal logic;object-oriented programming;parallel processing systems;program compilers;programming languages;reversible circuits;software design;software engineering;theoretical computer science
