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

Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems., , , , , , , , , und 1 andere Autor(en). IBM J. Res. Dev., 49 (4-5): 541-554 (2005)Industrial experience with test generation languages for processor verification., , , , und . DAC, Seite 36-40. ACM, (2004)Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system., , , , , , , , , und 15 andere Autor(en). IBM J. Res. Dev., 46 (1): 53-76 (2002)IBM POWER9 system software., , , , , , , und . IBM J. Res. Dev., 62 (4/5): 6:1-6:10 (2018)Advances in Simultaneous Multithreading Testcase Generation Methods., , , und . Haifa Verification Conference, Volume 6504 von Lecture Notes in Computer Science, Seite 146-160. Springer, (2010)Solutions to IBM POWER8 verification challenges., , , , , , , , , und 12 andere Autor(en). IBM J. Res. Dev., (2015)Verification of Transactional Memory in POWER8., , , , , , , , , und 7 andere Autor(en). DAC, Seite 58:1-58:6. ACM, (2014)Post Silicon Validation of the MMU., , , , , , , , , und 1 andere Autor(en). DATE, Seite 212-217. IEEE, (2021)Confidential computing for OpenPOWER., , , , , , , , , und 12 andere Autor(en). EuroSys, Seite 294-310. ACM, (2021)