PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gopalakrishnan, Ganesh"

Author of the publication

copydeleteadd this publication to your clipboard
Corrections To application-specific Programmable Control For High-performance Asynchronous Circuits.

, and . Proc. IEEE, 87 (3): 525 (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ganesh Deepak Rupakula University of Stuttgart

 

Other publications of authors with the same name

On the definition of sequential consistency., and . Inf. Process. Lett., 96 (6): 193-196 (2005)UMM: an operational memory model specification framework with integrated model checking capability., , and . Concurrency - Practice and Experience, 17 (5-6): 465-487 (2005)VLSI asynchronous systems: specification and synthesis., and . Microprocessors and Microsystems - Embedded Hardware Design, 16 (10): 517-527 (1992)Asynchronous Microengines for Efficient High-level Control., and . ARVLSI, page 201-218. IEEE Computer Society, (1997)Hierarchical cache coherence protocol verification one level at a time through assume guarantee., , , , and . HLDVT, page 107-114. IEEE Computer Society, (2007)towards A formal Model of Shared Memory Consistency for Intel ItaniumTM., and . ICCD, page 515-518. IEEE Computer Society, (2001)A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols., and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 292-309. Springer, (2002)Formal Analysis of Message Passing - (Invited Talk)., and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 2-18. Springer, (2011)Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models., , , and . IPDPS, IEEE Computer Society, (2004)Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets.. PNPM, page 94-103. IEEE Computer Society, (1987)