E-CoRe
Calcul économe en énergie via la réversibilité
Accueil
Description du projet
Sujets de thèse
Langages de programmation réversibles
Algorithmes réversibles
Compilation et architectures
Applications
Langages de programmation réversibles
Reversible Programming Languages
Concurrency and Distribution in Reversible Languages
Formal Verification Techniques for Reversible Languages
Algorithmes réversibles
Reversible Sequential General-Purpose Algorithms
Reversible Concurrent and Distributed Algorithms
Partially Reversible Algorithms
Compilation et architectures
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
Applications
Energy Efficiency in Blockchains
Energy Efficiency in Cyber-Physical Systems
Energy Efficiency in Machine Learning
Langages de programmation réversibles
Algorithmes réversibles
Compilation et architectures
Applications
Équipe
Événements
Postes ouverts
Compte
Connexion
FR
Dansk
Deutsch
English
Français
Italiano
Contactez-nous
Contactez l'équipe du projet E-CoRe. Nous vous répondrons dans les plus brefs délais.
Your name
Email address
Subject
Phone (optional)
Message
Verify Code
Envoyer le message