( en | de | ru )

 

Disambiguierung von "Gupta, Aarti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications.

, , , und . MICRO, Seite 788-801. IEEE Computer Society, (2018)

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.

Aarti Singh

Ashutosh Kumar Gupta

Renee Gupta

Ajay Kumar Gupta

Jan Chandra Gupta

 

Weitere Publikationen von Autoren mit dem selben Namen

SAT-Based Scalable Formal Verification Solutions, und . Series on Integrated Circuits and Systems Springer, (2007)Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models., , und . ASP-DAC, Seite 154-159. IEEE, (2022)DTAM: dynamic taint analysis of multi-threaded programs for relevancy., , und . SIGSOFT FSE, Seite 46. ACM, (2012)A Parallel Computer Based on Cube-Connected Cycles for Wafer-Scale., , und . FJCC, Seite 325-334. IEEE Computer Society, (1986)Usage-Based RTL Subsetting for Hardware Accelerators., , und . ICCAD, Seite 73:1-73:9. ACM, (2022)Fold/Unfold Transformations for Fixpoint Logic., , und . TACAS (2), Volume 12079 von Lecture Notes in Computer Science, Seite 195-214. Springer, (2020)Fast Error Diagnosis for Combinational Verification., und . VLSI Design, Seite 442-448. IEEE Computer Society, (2000)Integrating a Boolean Satisfiability Checker and BDDs for Combinational Equivalence Checking., und . VLSI Design, Seite 222-225. IEEE Computer Society, (1998)From Hardware Verification to Software Verification: Re-use and Re-learn.. Haifa Verification Conference, Volume 4899 von Lecture Notes in Computer Science, Seite 14-15. Springer, (2007)Refining the control structure of loops using static analysis., , , und . EMSOFT, Seite 49-58. ACM, (2009)