Bishop Brock

Publication Activity (10 Years)

Years Active: 1988-2015
Publications (10 Years): 0

Top Topics

Computer Systems

Power Consumption

Top Venues

Publications

Bishop Brock, Frank Liu, Karthick Rajamani
STAC-A2™ benchmark on POWER8. WHPCF@SC (2015)
Charles Lefurgy, Alan J. Drake, Michael S. Floyd, Malcolm Allen-Ware, Bishop Brock, José A. Tierno, John B. Carter, Robert W. Berry
Active Guardband Management in Power7+ to Save Energy and Maintain Reliability. IEEE Micro 33 (4) (2013)
Bishop Brock, Srinivasan Ramani, Ken Vu, Heather Hanson, Michael S. Floyd
Virtual Power Management simulation framework for computer systems. ISPASS (2013)
Wei Huang, Charles Lefurgy, William Kuk, Alper Buyuktosunoglu, Michael S. Floyd, Karthick Rajamani, Malcolm Allen-Ware, Bishop Brock
Accurate Fine-Grained Processor Power Proxies. MICRO (2012)
Michael S. Floyd, Malcolm Allen-Ware, Karthick Rajamani, Tilman Gloekler, Bishop Brock, Pradip Bose, Alper Buyuktosunoglu, Juan C. Rubio, Birgit Schubert, Bruno Spruth, José A. Tierno, Lorena Pesantez
Adaptive energy-management features of the IBM POWER7 chip. IBM J. Res. Dev. 55 (3) (2011)
Charles Lefurgy, Alan J. Drake, Michael S. Floyd, Malcolm Allen-Ware, Bishop Brock, José A. Tierno, John B. Carter
Active management of timing guardband to save energy in POWER7. MICRO (2011)
Michael S. Floyd, Malcolm Allen-Ware, Karthick Rajamani, Bishop Brock, Charles Lefurgy, Alan J. Drake, Lorena Pesantez, Tilman Gloekler, José A. Tierno, Pradip Bose, Alper Buyuktosunoglu
Introducing the Adaptive Energy Management Features of the Power7 Chip. IEEE Micro 31 (2) (2011)
Michael S. Floyd, Bishop Brock, Malcolm S. Ware, Karthick Rajamani, Alan J. Drake, Charles Lefurgy, Lorena Pesantez
Adaptive energy management features of the POWER7TM processor. Hot Chips Symposium (2010)
Malcolm S. Ware, Karthick Rajamani, Michael S. Floyd, Bishop Brock, Juan C. Rubio, Freeman L. Rawson III, John B. Carter
approach. HPCA (2010)
Bishop Brock, Matt Kaufmann, J Strother Moore
Rewriting with Equivalence Relations in ACL2. J. Autom. Reason. 40 (4) (2008)
Kevin J. Nowka, Gary D. Carpenter, Bishop Brock
The design and application of the PowerPC 405LP energy-efficient system-on-a-chip. IBM J. Res. Dev. 47 (5-6) (2003)
Kevin J. Nowka, Gary D. Carpenter, Eric W. MacDonald, Hung C. Ngo, Bishop Brock, Koji I. Ishii, Tuyet Nguyen, Jeffrey L. Burns
A 32-bit PowerPC system-on-a-chip with support for dynamic voltage scaling and dynamic frequency scaling. IEEE J. Solid State Circuits 37 (11) (2002)
Bishop Brock, Gary D. Carpenter, Eli Chiprout, Mark E. Dean, Philippe L. De Backer, E. N. Elnozahy, Hubertus Franke, Mark Giampapa, David Glasco, James L. Peterson, Ramakrishnan Rajamony, Rajan Ravindran, Freeman L. Rawson III, Ronald L. Rockhold, Juan Rubio
Experience with building a commodity Intel-based ccNUMA system. IBM J. Res. Dev. 45 (2) (2001)
Bishop Brock, Warren A. Hunt Jr.
Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP. ICCD (1997)
Bishop Brock, Warren A. Hunt Jr.
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor. Formal Methods Syst. Des. 11 (1) (1997)
Bishop Brock, Matt Kaufmann, J. Strother Moore
ACL2 Theorems About Commercial Microprocessors. FMCAD (1996)
Bishop Brock, Warren A. Hunt Jr., William D. Young
Introduction to a Formally Defined Hardware Description Language. TPCD (1992)
Warren A. Hunt Jr., Bishop Brock
The Verification of a Bit-slice ALU. Hardware Specification, Verification and Synthesis (1989)
Bishop Brock, Shaun Cooper, William Pierce
Analogical Reasoning and Proof Discovery. CADE (1988)