( en | de | ru )

 

Disambiguierung von "Brock, Bishop"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Adaptive energy management features of the POWER7TM processor.

, , , , , , und . Hot Chips Symposium, Seite 1-18. IEEE, (2010)

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.

Nicholas Bishop

Shawn Bishop

Heidi Gudrun Bishop

Klaus Brock

Daniela Brock

 

Weitere Publikationen von Autoren mit dem selben Namen

Analogical Reasoning and Proof Discovery., , und . CADE, Volume 310 von Lecture Notes in Computer Science, Seite 454-468. Springer, (1988)Rewriting with Equivalence Relations in ACL2., , und . J. Autom. Reason., 40 (4): 293-306 (2008)Accurate Fine-Grained Processor Power Proxies., , , , , , , und . MICRO, Seite 224-234. IEEE Computer Society, (2012)Architecting for power management: The IBM POWER7TM approach., , , , , , und . HPCA, Seite 1-11. IEEE Computer Society, (2010)STAC-A2™ benchmark on POWER8., , und . WHPCF@SC, Seite 1:1-1:8. ACM, (2015)ACL2 Theorems About Commercial Microprocessors., , und . FMCAD, Volume 1166 von Lecture Notes in Computer Science, Seite 275-293. Springer, (1996)The design and application of the PowerPC 405LP energy-efficient system-on-a-chip., , und . IBM J. Res. Dev., 47 (5-6): 631-640 (2003)Introducing the Adaptive Energy Management Features of the Power7 Chip., , , , , , , , , und 1 andere Autor(en). IEEE Micro, 31 (2): 60-75 (2011)Introduction to a Formally Defined Hardware Description Language., , und . TPCD, Volume A-10 von IFIP Transactions, Seite 3-35. North-Holland, (1992)Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP., und . ICCD, Seite 31-36. IEEE Computer Society, (1997)