Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic fine-grain locking using shape properties., , , , , und . OOPSLA, Seite 225-242. ACM, (2011)Hardware acceleration of transactional memory on commodity systems., , , , , und . ASPLOS, Seite 27-38. ACM, (2011)Verifying atomicity via data independence., , , , , , und . ISSTA, Seite 26-36. ACM, (2014)Implementing and Evaluating a Model Checker for Transactional Memory Systems., , , und . ICECCS, Seite 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., , , , , und . CODES+ISSS, Seite 513-520. ACM, (2012)Understanding the behavior of database operations under program control., , , und . OOPSLA, Seite 983-996. ACM, (2012)Eigenbench: A simple exploration tool for orthogonal TM characteristics., , , , , und . IISWC, Seite 1-11. 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)Feedback-directed barrier optimization in a strongly isolated STM., , und . POPL, Seite 213-225. ACM, (2009)