内疚 发表于 2025-3-30 11:08:08

Conference proceedings 2015y 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.

Carcinogenesis 发表于 2025-3-30 14:40:10

Reverse Code Generation for Parallel Discrete Event Simulatione the entire C++ language. Although a significant runtime overhead is introduced with our technique, the assurance that the reverse code is always generated fully automatically is an enormous win that can open the door to routine optimistic simulation with models that can be implemented using the entire C++ language.

Admire 发表于 2025-3-30 19:50:04

http://reply.papertrans.cn/83/8295/829415/829415_53.png

合唱队 发表于 2025-3-30 21:30:37

http://reply.papertrans.cn/83/8295/829415/829415_54.png
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Reversible Computation; 7th International Co Jean Krivine,Jean-Bernard Stefani Conference proceedings 2015 Springer International Publishin