PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Musuvathi, Madanlal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient processor support for DRFx, a memory model with exceptions.

, , , , und . ASPLOS, Seite 53-66. 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.

Keine Personen gefunden für den Autorennamen Musuvathi, Madanlal
Eine Person hinzufügen mit dem Namen Musuvathi, Madanlal
 

Weitere Publikationen von Autoren mit dem selben Namen

Effective Data-Race Detection for the Kernel., , , und . OSDI, Seite 151-162. USENIX Association, (2010)CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs., , , , , , , und . CoRR, (2018)CHET: an optimizing compiler for fully-homomorphic neural-network inferencing., , , , , , , und . PLDI, Seite 142-156. ACM, (2019)A Combination Method for Generating Interpolants., und . CADE, Volume 3632 von Lecture Notes in Computer Science, Seite 353-368. Springer, (2005)Show No Weakness: Sequentially Consistent Specifications of TSO Libraries., , und . DISC, Volume 7611 von Lecture Notes in Computer Science, Seite 31-45. Springer, (2012)Preemption Sealing for Efficient Concurrency Testing., , , , und . TACAS, Volume 6015 von Lecture Notes in Computer Science, Seite 420-434. Springer, (2010)Zap: Automated Theorem Proving for Software Analysis., , und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 2-22. Springer, (2005)A Safety-First Approach to Memory Models., , , , und . IEEE Micro, 33 (3): 96-104 (2013)Improving the responsiveness of internet services with automatic cache placement., , , und . EuroSys, Seite 27-32. ACM, (2009)LiteRace: effective sampling for lightweight data-race detection., , und . PLDI, Seite 134-143. ACM, (2009)