PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Gopalakrishnan, Ganesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards providing low-overhead data race detection for large OpenMP applications.

, , , , , , , , und . LLVM@SC, Seite 40-47. IEEE Computer Society, (2014)

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.

Ganesh Deepak Rupakula University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Asynchronous Microengines for Efficient High-level Control., und . ARVLSI, Seite 201-218. IEEE Computer Society, (1997)Hierarchical cache coherence protocol verification one level at a time through assume guarantee., , , , und . HLDVT, Seite 107-114. IEEE Computer Society, (2007)towards A formal Model of Shared Memory Consistency for Intel ItaniumTM., und . ICCD, Seite 515-518. IEEE Computer Society, (2001)On the definition of sequential consistency., und . Inf. Process. Lett., 96 (6): 193-196 (2005)UMM: an operational memory model specification framework with integrated model checking capability., , und . Concurrency - Practice and Experience, 17 (5-6): 465-487 (2005)VLSI asynchronous systems: specification and synthesis., und . Microprocessors and Microsystems - Embedded Hardware Design, 16 (10): 517-527 (1992)Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models., , , und . IPDPS, IEEE Computer Society, (2004)A correctness criterion for asynchronous circuit validation and optimization., , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 13 (11): 1309-1318 (1994)Towards Resiliency Evaluation of Vector Programs., , und . IPDPS Workshops, Seite 1319-1328. IEEE Computer Society, (2016)Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets.. PNPM, Seite 94-103. IEEE Computer Society, (1987)