Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Marker-less Vision-based Detection of Improper Seat Belt Routing., , , und . IV, Seite 783-789. IEEE, (2019)Accelerated verification of RTL assertions based on satisfiability solvers., , , , und . HLDVT, Seite 107-110. IEEE Computer Society, (2002)Transaction level statistical analysis for efficient micro-architectural power and performance studies., , und . DAC, Seite 351-356. ACM, (2011)Power-Aware Design via Micro-architectural Link to Implementation., , , , und . PATMOS, Volume 5349 von Lecture Notes in Computer Science, Seite 72-81. Springer, (2008)Pattern search in hierarchical high-level designs., , , und . ICECS, Seite 519-522. IEEE, (2004)Information Constrained Control for Visual Detection of Important Areas., , , , und . ICASSP, Seite 4080-4084. IEEE, (2019)Automatic Datapath Extraction for Efficient Usage of HDD., , und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 95-106. Springer, (1997)Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting., , , und . SMC@FLoC, Volume 23 von Electronic Notes in Theoretical Computer Science, Seite 11-22. Elsevier, (1999)Intelligate: Scalable Dynamic Invariant Learning for Power Reduction., , und . PATMOS, Volume 5349 von Lecture Notes in Computer Science, Seite 52-61. Springer, (2008)MAGENTA: transaction-based statistical micro-architectural root-cause analysis., , , und . DAC, Seite 639-643. ACM, (2009)