PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ray, Sandip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Validating scheduling transformation for behavioral synthesis.

, , , , , und . DATE, Seite 1652-1657. IEEE, (2016)

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.

Keine Personen gefunden für den Autorennamen Ray, Sandip
Eine Person hinzufügen mit dem Namen Ray, Sandip
 

Weitere Publikationen von Autoren mit dem selben Namen

A Mechanical Analysis of Program Verification Strategies., , , und . J. Autom. Reasoning, 40 (4): 245-269 (2008)Integrating external deduction tools with ACL2., , , und . J. Applied Logic, 7 (1): 3-25 (2009)Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection., , , , und . ICCAD, Seite 1-8. IEEE, (2015)Innovative practices session 7C: Verification and testing challenges in high-level synthesis., und . VTS, Seite 250. IEEE Computer Society, (2010)The Changing Computing Paradigm With Internet of Things: A Tutorial Introduction., , und . IEEE Design & Test, 33 (2): 76-96 (2016)Exploiting transaction level models for observability-aware post-silicon test generation., , und . DATE, Seite 1477-1480. IEEE, (2016)Validating scheduling transformation for behavioral synthesis., , , , , und . DATE, Seite 1652-1657. IEEE, (2016)A Unified Formal Framework for Analyzing Functional and Speed-path Properties., , , und . MTV, Seite 44-45. IEEE Computer Society, (2011)Mechanized Certification of Secure Hardware Designs., und . MTV, Seite 25-32. IEEE Computer Society, (2007)Protecting the supply chain for automotives and IoTs., , und . DAC, Seite 89:1-89:4. ACM, (2018)