Bishop Brock

According to our database, Bishop Brock authored at least 20 papers between 1988 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2015

Solutions to IBM POWER8 verification challenges.

Klaus-Dieter Schubert, John M. Ludden, Salma Ayub, J. Behrend, Bishop Brock, Fady Copty, S. M. German, Oz Hershkovitz, H. Horbach, Jonathan R. Jackson, K. Keuerleber, J. Koesters, L. S. Leitner, G. B. Meil, Charles Meissner, Ronny Morad, Amir Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann

IBM J. Res. Dev., 2015

STAC-A2™ benchmark on POWER8.

Bishop Brock, Frank Liu, Karthick Rajamani

Proceedings of the 8th Workshop on High Performance Computational Finance, 2015

2013

Active Guardband Management in Power7+ to Save Energy and Maintain Reliability.

Charles Lefurgy, Alan J. Drake, Michael S. Floyd, Malcolm Allen-Ware, Bishop Brock, José A. Tierno, John B. Carter, Robert W. Berry

IEEE Micro, 2013

Virtual Power Management simulation framework for computer systems.

Bishop Brock, Srinivasan Ramani, Ken Vu, Heather Hanson, Michael S. Floyd

Proceedings of the 2012 IEEE International Symposium on Performance Analysis of Systems & Software, 2013

2012

Accurate Fine-Grained Processor Power Proxies.

Wei Huang, Charles Lefurgy, William Kuk, Alper Buyuktosunoglu, Michael S. Floyd, Karthick Rajamani, Malcolm Allen-Ware, Bishop Brock

Proceedings of the 45th Annual IEEE/ACM International Symposium on Microarchitecture, 2012

2011

Introducing the Adaptive Energy Management Features of the Power7 Chip.

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

IEEE Micro, 2011

Adaptive energy-management features of the IBM POWER7 chip.

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

IBM J. Res. Dev., 2011

Active management of timing guardband to save energy in POWER7.

Charles Lefurgy, Alan J. Drake, Michael S. Floyd, Malcolm Allen-Ware, Bishop Brock, José A. Tierno, John B. Carter

Proceedings of the 44rd Annual IEEE/ACM International Symposium on Microarchitecture, 2011

2010

Architecting for power management: The IBM POWER7^TM approach.

Malcolm S. Ware, Karthick Rajamani, Michael S. Floyd, Bishop Brock, Juan C. Rubio, Freeman L. Rawson III, John B. Carter

Proceedings of the 16th International Conference on High-Performance Computer Architecture (HPCA-16 2010), 2010

Adaptive energy management features of the POWER7TM processor.

Michael S. Floyd, Bishop Brock, Malcolm S. Ware, Karthick Rajamani, Alan J. Drake, Charles Lefurgy, Lorena Pesantez

Proceedings of the 2010 IEEE Hot Chips 22 Symposium, Stanford, CA, USA, August 22-24, 2010, 2010

2008

Rewriting with Equivalence Relations in ACL2.

Bishop Brock, Matt Kaufmann, J Strother Moore

J. Autom. Reason., 2008

2003

The design and application of the PowerPC 405LP energy-efficient system-on-a-chip.

Kevin J. Nowka, Gary D. Carpenter, Bishop Brock

IBM J. Res. Dev., 2003

2002

A 32-bit PowerPC system-on-a-chip with support for dynamic voltage scaling and dynamic frequency scaling.

Kevin J. Nowka, Gary D. Carpenter, Eric W. MacDonald, Hung C. Ngo, Bishop Brock, Koji I. Ishii, Tuyet Nguyen, Jeffrey L. Burns

IEEE J. Solid State Circuits, 2002

2001

Experience with building a commodity Intel-based ccNUMA system.

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

IBM J. Res. Dev., 2001

1997

The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor.

Bishop Brock, Warren A. Hunt Jr.

Formal Methods Syst. Des., 1997

Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP.

Bishop Brock, Warren A. Hunt Jr.

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

1996

ACL2 Theorems About Commercial Microprocessors.

Bishop Brock, Matt Kaufmann, J Strother Moore

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1992

Introduction to a Formally Defined Hardware Description Language.

Bishop Brock, Warren A. Hunt Jr., William D. Young

Proceedings of the Theorem Provers in Circuit Design, 1992

1989

The Verification of a Bit-slice ALU.

Warren A. Hunt Jr., Bishop Brock

Proceedings of the Hardware Specification, 1989

1988

Analogical Reasoning and Proof Discovery.

Bishop Brock, Shaun Cooper, William Pierce

Proceedings of the 9th International Conference on Automated Deduction, 1988