( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic fine-grain locking using shape properties.

, , , , , и . OOPSLA, стр. 225-242. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Emanuele Grasso

Floriana Grasso

Nathan ben-Nathan

S Martin Bronson

Hans Nathan

 

Другие публикации лиц с тем же именем

Automatic fine-grain locking using shape properties., , , , , и . OOPSLA, стр. 225-242. ACM, (2011)Verifying atomicity via data independence., , , , , , и . ISSTA, стр. 26-36. ACM, (2014)Hardware acceleration of transactional memory on commodity systems., , , , , и . ASPLOS, стр. 27-38. ACM, (2011)Implementing and Evaluating a Model Checker for Transactional Memory Systems., , , и . ICECCS, стр. 117-126. IEEE Computer Society, (2010)A case of system-level hardware/software co-design and co-verification of a commodity multi-processor system with custom hardware., , , , , и . CODES+ISSS, стр. 513-520. ACM, (2012)Understanding the behavior of database operations under program control., , , и . OOPSLA, стр. 983-996. ACM, (2012)Eigenbench: A simple exploration tool for orthogonal TM characteristics., , , , , и . IISWC, стр. 1-11. IEEE Computer Society, (2010)Implementing and evaluating nested parallel transactions in software transactional memory., , , и . SPAA, стр. 253-262. ACM, (2010)Composable operations on high-performance concurrent collections.. Stanford University, USA, (2011)Feedback-directed barrier optimization in a strongly isolated STM., , и . POPL, стр. 213-225. ACM, (2009)