( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup.

, , , , и . ICML, том 37 из JMLR Workshop and Conference Proceedings, стр. 579-587. JMLR.org, (2015)

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.

No persons found for author name Musuvathi, Madanlal
add a person with the name Musuvathi, Madanlal
 

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

Effective Data-Race Detection for the Kernel., , , и . OSDI, стр. 151-162. USENIX Association, (2010)Zap: Automated Theorem Proving for Software Analysis., , и . LPAR, том 3835 из Lecture Notes in Computer Science, стр. 2-22. Springer, (2005)Show No Weakness: Sequentially Consistent Specifications of TSO Libraries., , и . DISC, том 7611 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2012)CHET: an optimizing compiler for fully-homomorphic neural-network inferencing., , , , , , , и . PLDI, стр. 142-156. ACM, (2019)CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs., , , , , , , и . CoRR, (2018)Preemption Sealing for Efficient Concurrency Testing., , , , и . TACAS, том 6015 из Lecture Notes in Computer Science, стр. 420-434. Springer, (2010)SherLock: unsupervised synchronization-operation inference., , , , и . ASPLOS, стр. 314-328. ACM, (2021)An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals., и . PDPAR@CAV, том 144 из Electronic Notes in Theoretical Computer Science, стр. 27-41. Elsevier, (2005)A Combination Method for Generating Interpolants., и . CADE, том 3632 из Lecture Notes in Computer Science, стр. 353-368. Springer, (2005)Synthesizing optimal collective algorithms., , , , , , и . PPoPP, стр. 62-75. ACM, (2021)