Pregled po temi "distributed transactional memory"
Prikaz rezultata 1-1 od 1
-
Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze / Formally verified fault tolerant distributed software transactional memory
(Универзитет у Новом Саду, Факултет техничких наука, 09-04-2021)