( en | de | ru )

 

Disambiguierung von "Vasudevan, Shobha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning Semantic Representations to Verify Hardware Designs.

, , , , , , und . NeurIPS, Seite 23491-23504. (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ramaswami Vasudevan

N Vasudevan

Desikachari Vasudevan

Anju Vasudevan

Ramaswami Vasudevan

 

Weitere Publikationen von Autoren mit dem selben Namen

Coverage closure in SoC verification: Are we chasing a mirage?. VTS, Seite 211. IEEE Computer Society, (2011)Learning Semantic Representations to Verify Hardware Designs., , , , , , und . NeurIPS, Seite 23491-23504. (2021)Using static analysis for coverage extraction fromemulation/prototyping platforms., , , , , und . CODES+ISSS, Seite 207-214. ACM, (2012)Automated Generation and Selection of Interpretable Features for Enterprise Security., , , und . IEEE BigData, Seite 1258-1265. IEEE, (2018)Efficient Microprocessor Verification using Antecedent Conditioned Slicing., , und . VLSI Design, Seite 43-49. IEEE Computer Society, (2007)Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs., und . QEST, Seite 143-152. IEEE Computer Society, (2010)Word level feature discovery to enhance quality of assertion mining., , und . ICCAD, Seite 210-217. ACM, (2012)BAMBI integrates biostatistical and artificial intelligence methods to improve RNA biomarker discovery., , , , , , , , , und . Briefings Bioinform., (2025)Every test makes a difference: Compressing analog tests to decrease production costs., , und . ASP-DAC, Seite 539-544. IEEE, (2016)Reachability analysis of nonlinear analog circuits through iterative reachable set reduction., und . DATE, Seite 1436-1441. EDA Consortium San Jose, CA, USA / ACM DL, (2013)