( en | de | ru )

 

Disambiguierung von "Singhania, Nimit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs.

, , , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 507-525. Springer, (2017)

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.

Thunyasinth Nimittherapharp

 

Weitere Publikationen von Autoren mit dem selben Namen

Loopy: Programmable and Formally Verified Loop Transformations., und . SAS, Volume 9837 von Lecture Notes in Computer Science, Seite 383-402. Springer, (2016)Alternate and Learn: Finding Witnesses without Looking All over., , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 599-615. Springer, (2012)Precise piecewise affine models from input-output data., und . EMSOFT, Seite 3:1-3:10. ACM, (2014)Efficient and flexible GUI test execution via test merging., , , und . ISSTA, Seite 34-44. ACM, (2013)GPUDrano: Detecting Uncoalesced Accesses in GPU Programs., , , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 507-525. Springer, (2017)Automating test automation., , , und . ICSE, Seite 881-891. IEEE Computer Society, (2012)Hedging Bets in Markov Decision Processes., , , und . CSL, Volume 62 von LIPIcs, Seite 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Efficiently scripting change-resilient tests., , , , , , und . SIGSOFT FSE, Seite 41. ACM, (2012)Block-Size Independence for GPU Programs., , und . SAS, Volume 11002 von Lecture Notes in Computer Science, Seite 107-126. Springer, (2018)