Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Séance de cours
Transformation des registres : Registres 2
Description
Cette séance de cours explore la transformation des registres réguliers binaires en registres atomiques binaires, en discutant des conditions dans lesquelles la transformation préserve les registres atomiques m-valides. À travers des exemples et des preuves, l'instructeur démontre comment la transformation peut conduire à des violations de l'atomicité, en présentant des scénarios où l'ordre des lectures et des écritures peut avoir un impact sur le résultat final.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.