( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Programmable Approach to Model Compression.

, , , , и . CoRR, (2019)

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.

Sayee Ganesh Gopalakrishnan

Saiprasath Gopalakrishnan

Selvi Gopalakrishnan

Gopalakrishnan Venkiteswaran

Vijay Gopalakrishnan

 

Другие публикации лиц с тем же именем

On the definition of sequential consistency., и . Inf. Process. Lett., 96 (6): 193-196 (2005)Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets.. PNPM, стр. 94-103. IEEE Computer Society, (1987)Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract)., , , , , и . PVM/MPI, том 5759 из Lecture Notes in Computer Science, стр. 329-330. Springer, (2009)A correctness criterion for asynchronous circuit validation and optimization., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (11): 1309-1318 (1994)VLSI asynchronous systems: specification and synthesis., и . Microprocess. Microsystems, 16 (10): 517-527 (1992)UMM: an operational memory model specification framework with integrated model checking capability., , и . Concurr. Pract. Exp., 17 (5-6): 465-487 (2005)Formal Analysis of Message Passing - (Invited Talk)., и . VMCAI, том 6538 из Lecture Notes in Computer Science, стр. 2-18. Springer, (2011)Verifying Advanced Microarchitectures that Support Speculation and Exceptions., , и . CAV, том 1855 из Lecture Notes in Computer Science, стр. 521-537. Springer, (2000)QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings., , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 401-413. Springer, (2004)Verification Methods for Weaker Shared Memory Consistency Models., и . IPDPS Workshops, том 1800 из Lecture Notes in Computer Science, стр. 985-992. Springer, (2000)