( en | de | ru )

 

Disambiguierung von "Ghosh, Indradeep"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs.

, , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 609-615. Springer, (2011)

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.

Michael Ghosh

Subhajit Ghosh

Arabinda Ghosh

Arabinda Ghosh

Rajat Ghosh

 

Weitere Publikationen von Autoren mit dem selben Namen

Ising-Based Louvain Method: Clustering Large Graphs with Specialized Hardware., , , und . IDA, Volume 12695 von Lecture Notes in Computer Science, Seite 350-361. Springer, (2021)SymJS: automatic symbolic testing of JavaScript web applications., , und . SIGSOFT FSE, Seite 449-459. ACM, (2014)High Level Test Generation for Custom Hardware: An Industrial Perspective.. Asian Test Symposium, Seite 458. IEEE Computer Society, (2005)On automatic generation of RTL validation test benches using circuit testing techniques., und . ACM Great Lakes Symposium on VLSI, Seite 289-294. ACM, (2003)Partitioning Dense Graphs with Hardware Accelerators., , , und . ICCS (3), Volume 13352 von Lecture Notes in Computer Science, Seite 476-483. Springer, (2022)High Level Design Validation: Current Practices and Future Directions., , , und . VLSI Design, Seite 9-11. IEEE Computer Society, (2004)A Technique for Identifying RTL and Gate-Level Correspondences., , , und . ICCD, Seite 591-594. IEEE Computer Society, (2000)A design for testability technique for RTL circuits using control/data flow extraction., , und . ICCAD, Seite 329-336. IEEE Computer Society / ACM, (1996)A BIST Scheme for RTL Controller-Data Paths Based on Symbolic Testability Analysis., , und . DAC, Seite 554-559. ACM Press, (1998)FSX: fine-grained incremental unit test generation for C/C++ programs., , , , und . ISSTA, Seite 106-117. ACM, (2016)