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

Dedicated Rewriting: Automatic Verification of Low Power Transformations in Register Transfer Level., , und . J. Low Power Electronics, 5 (3): 339-353 (2009)The Testability of Generalized Counters Under Multiple Faulty Cells., und . IEEE Trans. Computers, 39 (11): 1378-1385 (1990)CEDA: Control-Flow Error Detection Using Assertions., und . IEEE Trans. Computers, 60 (9): 1233-1245 (2011)Test Generation for Microprocessors., und . IEEE Trans. Computers, 29 (6): 429-441 (1980)Real-Number Codes for Bault-Tolerant Matrix Operations On Processor Arrays., und . IEEE Trans. Computers, 39 (4): 426-435 (1990)Abstraction Techniques for Validation Coverage Analysis and Test Generation., , und . IEEE Trans. Computers, 47 (1): 2-14 (1998)Efficient Algorithms for Testing Semiconductor Random-Access Memories., , und . IEEE Trans. Computers, 27 (6): 572-576 (1978)Power-aware multi-voltage custom memory models for enhancing RTL and low power verification., , und . ICCD, Seite 24-31. IEEE Computer Society, (2015)Automatic insertion of low power annotations in RTL for pipelined microprocessors., , und . DATE, Seite 496-501. European Design and Automation Association, Leuven, Belgium, (2006)Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor., , und . DATE, Seite 254-257. EDA Consortium San Jose, CA, USA / ACM DL, (2013)