Livello precedente |
Tommaso Pozzetti. Resettable Encoded Vector Clock for Causality Analysis with an Application to Dynamic Race Detection. Rel. Riccardo Sisto, Ajay Kshemkalyani. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2019