( en | de | ru )

 

Disambiguation of "Singh, Vasu"

Author of the publication

copydeleteadd this publication to your clipboard
Permissiveness in Transactional Memories.

, , and . DISC, volume 5218 of Lecture Notes in Computer Science, page 305-319. Springer, (2008)

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.

Livius Vasu

Mircea Vasu

Karnam Vasudeva Rao

Ovid Vasut

Ramaswami Vasudevan

 

Other publications of authors with the same name

Comparing Vision Transformers and Convolutional Nets for Safety Critical Systems., and . SafeAI@AAAI, volume 3087 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Quantitative Evaluation of BFT Protocols., , and . QEST, page 255-264. IEEE Computer Society, (2011)Completeness and Nondeterminism in Model Checking Transactional Memories., , and . CONCUR, volume 5201 of Lecture Notes in Computer Science, page 21-35. Springer, (2008)Model checking transactional memories., , and . Distributed Comput., 22 (3): 129-145 (2010)ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures., , , and . CoRR, (2023)Practical Solutions for Machine Learning Safety in Autonomous Vehicles., , , and . CoRR, (2019)Exploring Diversity in Neural Architectures for Safety., and . AISafety@IJCAI, volume 3215 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Zhuyi: perception processing rate estimation for safety in autonomous vehicles., , , , , , , and . DAC, page 289-294. ACM, (2022)Formalizing and verifying transactional memories.. EPFL, Switzerland, (2010)Permissiveness in Transactional Memories., , and . DISC, volume 5218 of Lecture Notes in Computer Science, page 305-319. Springer, (2008)