Autor der Publikation

IBM Blue Gene/Q memory subsystem with speculative execution and transactional memory.

, , , , , , , und . IBM Journal of Research and Development, 57 (1/2): 7 (2013)

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

First CADathlon Programming Contest held at 2002 ICCAD., und . IEEE Design & Test of Computers, 20 (3): 104-107 (2003)A Performance Study of BDD-Based Model Checking., , , , , , , und . FMCAD, Volume 1522 von Lecture Notes in Computer Science, Seite 255-289. Springer, (1998)Exploring power management in multi-core systems., , , , , , , , , und 1 andere Autor(en). ASP-DAC, Seite 708-713. IEEE, (2008)Multicore power management: Ensuring robustness via early-stage formal verification., , , , und . MEMOCODE, Seite 78-87. IEEE, (2009)Exploiting Structural Similarities in a BDD-Based Verification Method., und . TPCD, Volume 901 von Lecture Notes in Computer Science, Seite 110-125. Springer, (1994)Performance modeling for early analysis of multi-core systems., , , , , , , , , und 3 andere Autor(en). CODES+ISSS, Seite 209-214. ACM, (2007)A Consumer Report on BDD Packages.. SBCCI, Seite 217-. IEEE Computer Society, (2003)IBM Blue Gene/Q memory subsystem with speculative execution and transactional memory., , , , , , , und . IBM Journal of Research and Development, 57 (1/2): 7 (2013)Scalable Sequential Equivalence Checking across Arbitrary Design Transformations ., , , , und . ICCD, Seite 259-266. IEEE, (2006)