( en | de | ru )

 

Disambiguation of "Singh, Vasu"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Local Transformations on Relaxed Memory Models.

, , and . CC, volume 6011 of Lecture Notes in Computer Science, page 104-123. Springer, (2010)

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

N Vasudevan

 

Other publications of authors with the same name

Verification of STM on relaxed memory models., , and . Formal Methods Syst. Des., 39 (3): 297-331 (2011)ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures., , , and . CoRR, (2023)Model checking transactional memories., , and . Distributed Comput., 22 (3): 129-145 (2010)Completeness and Nondeterminism in Model Checking Transactional Memories., , and . CONCUR, volume 5201 of Lecture Notes in Computer Science, page 21-35. Springer, (2008)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)Permissiveness in Transactional Memories., , and . DISC, volume 5218 of Lecture Notes in Computer Science, page 305-319. Springer, (2008)Practical Solutions for Machine Learning Safety in Autonomous Vehicles., , , and . SafeAI@AAAI, volume 2560 of CEUR Workshop Proceedings, page 162-169. CEUR-WS.org, (2020)Runtime Verification for Software Transactional Memories.. RV, volume 6418 of Lecture Notes in Computer Science, page 421-435. Springer, (2010)Simulation Driven Design and Test for Safety of AI Based Autonomous Vehicles., , , and . CVPR Workshops, page 122-128. Computer Vision Foundation / IEEE, (2021)