( en | de | ru )

 

Disambiguierung von "Bronson, Nathan Grasso"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic fine-grain locking using shape properties.

, , , , , und . OOPSLA, Seite 225-242. ACM, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Emanuele Grasso

Floriana Grasso

Nathan ben-Nathan

S Martin Bronson

Hans Nathan

 

Weitere Publikationen von Autoren mit dem selben Namen

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