E-CoRe
Energieffektiv beregning via reversibilitet
Hjem
Projektbeskrivelse
Ph.d.-emner
Reversible programmeringssprog
Reversible algoritmer
Kompilering og arkitekturer
Applikationer
Reversible programmeringssprog
Reversible Programming Languages
Concurrency and Distribution in Reversible Languages
Formal Verification Techniques for Reversible Languages
Reversible algoritmer
Reversible Sequential General-Purpose Algorithms
Reversible Concurrent and Distributed Algorithms
Partially Reversible Algorithms
Kompilering og arkitekturer
Compilation Principles and Techniques for Reversible Languages
Design and Simulation of Adiabatic Architectures
Design and Simulation of Reversible Neuromorphic Architectures
Realisation of Energy-Efficient Custom Adiabatic Circuits
Applikationer
Energy Efficiency in Blockchains
Energy Efficiency in Cyber-Physical Systems
Energy Efficiency in Machine Learning
Reversible programmeringssprog
Reversible algoritmer
Kompilering og arkitekturer
Applikationer
Personer
Begivenheder
Åbne stillinger
Konto
Log ind
DA
Dansk
Deutsch
English
Français
Italiano
app.blog_title
app.blog_lead
app.blog_empty
app.blog_empty_hint