( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking.

, , , , и . VLSI Design, стр. 288-293. IEEE Computer Society, (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.

R Srinivasan

Sadagopan Srinivasan

Srinivasan Rajaraman

Srinivasan Seetharaman

Srinivasan Sridhar

 

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

The DeepMind Chinese-English Document Translation System at WMT2020., , , , , , , , , и 4 other автор(ы). WMT@EMNLP, стр. 326-337. Association for Computational Linguistics, (2020)Placement Optimization for NoC-Enhanced FPGAs., , , и . FCCM, стр. 41-51. IEEE, (2023)Output-Constrained Bayesian Neural Networks., , , , , , , и . CoRR, (2019)Better Chinese Sentence Segmentation with Reinforcement Learning., и . ACL/IJCNLP (Findings), том ACL/IJCNLP 2021 из Findings of ACL, стр. 293-302. Association for Computational Linguistics, (2021)On the Use of Pseudorandom Sequences for High Speed Resource Allocators in Superscalar Processors., и . ICCD, стр. 124-130. IEEE Computer Society, (1999)RecurrentGemma: Moving Past Transformers for Efficient Open Language Models., , , , , , , , , и 52 other автор(ы). CoRR, (2024)Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking., , , , и . VLSI Design, стр. 288-293. IEEE Computer Society, (1999)Imagen 3., , , , , , , , , и 89 other автор(ы). CoRR, (2024)An Empirical Study of Implicit Regularization in Deep Offline RL., , , , , , , и . CoRR, (2022)Truly Batch Apprenticeship Learning with Deep Successor Features., , и . IJCAI, стр. 5909-5915. ijcai.org, (2019)