PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Gopalakrishnan, Ganesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Operational Semantic Basis for OpenMP Race Analysis.

, und . CoRR, (2017)

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

towards A formal Model of Shared Memory Consistency for Intel ItaniumTM., und . ICCD, Seite 515-518. IEEE Computer Society, (2001)Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models., , , und . IPDPS, IEEE Computer Society, (2004)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)A correctness criterion for asynchronous circuit validation and optimization., , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 13 (11): 1309-1318 (1994)Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets.. PNPM, Seite 94-103. IEEE Computer Society, (1987)Towards Resiliency Evaluation of Vector Programs., , und . IPDPS Workshops, Seite 1319-1328. IEEE Computer Society, (2016)Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification., , und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 317-331. Springer, (2005)An Operational Semantic Basis for Building an OpenMP Data Race Checker., und . IPDPS Workshops, Seite 395-404. IEEE Computer Society, (2018)Verification Methods for Weaker Shared Memory Consistency Models., und . IPDPS Workshops, Volume 1800 von Lecture Notes in Computer Science, Seite 985-992. Springer, (2000)