( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parallelizing WFST speech decoders.

, , , , , и . ICASSP, стр. 5325-5329. IEEE, (2016)

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)A Combination Method for Generating Interpolants., и . CADE, том 3632 из Lecture Notes in Computer Science, стр. 353-368. Springer, (2005)SherLock: unsupervised synchronization-operation inference., , , , и . ASPLOS, стр. 314-328. ACM, (2021)Synthesizing optimal collective algorithms., , , , , , и . PPoPP, стр. 62-75. ACM, (2021)CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs., , , , , , , и . CoRR, (2018)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)Ranking LLM-Generated Loop Invariants for Program Verification., , , , , , , , и . EMNLP (Findings), стр. 9164-9175. Association for Computational Linguistics, (2023)Zap: Automated Theorem Proving for Software Analysis., , и . LPAR, том 3835 из Lecture Notes in Computer Science, стр. 2-22. Springer, (2005)Preemption Sealing for Efficient Concurrency Testing., , , , и . TACAS, том 6015 из Lecture Notes in Computer Science, стр. 420-434. Springer, (2010)