( en | de | ru )

 

Disambiguierung von "Gopalakrishnan, Ganesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification Methods for Weaker Shared Memory Consistency Models.

, und . IPDPS Workshops, Volume 1800 von Lecture Notes in Computer Science, Seite 985-992. Springer, (2000)

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.

Sayee Ganesh Gopalakrishnan

Saiprasath Gopalakrishnan

Selvi Gopalakrishnan

Gopalakrishnan Venkiteswaran

Vijay Gopalakrishnan

 

Weitere Publikationen von Autoren mit dem selben Namen

Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model., , , und . SPAA, Seite 231-239. ACM, (1998)Verification Methods for Weaker Shared Memory Consistency Models., und . IPDPS Workshops, Volume 1800 von Lecture Notes in Computer Science, Seite 985-992. Springer, (2000)Verifying Advanced Microarchitectures that Support Speculation and Exceptions., , und . CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 521-537. Springer, (2000)QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings., , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 401-413. Springer, (2004)Formal Analysis of Message Passing - (Invited Talk)., und . VMCAI, Volume 6538 von Lecture Notes in Computer Science, Seite 2-18. Springer, (2011)A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols., und . FMCAD, Volume 2517 von Lecture Notes in Computer Science, Seite 292-309. Springer, (2002)VLSI asynchronous systems: specification and synthesis., und . Microprocess. Microsystems, 16 (10): 517-527 (1992)A correctness criterion for asynchronous circuit validation and optimization., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (11): 1309-1318 (1994)Impacts of the Kuroshio Intrusion through the Luzon Strait on the Local Precipitation Anomaly., , , , , , , , und . Remote. Sens., 13 (6): 1113 (2021)Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets.. PNPM, Seite 94-103. IEEE Computer Society, (1987)