Bishop Brock

20 papers A* 3A 1B 2C 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2015 — conf
STAC-A2™ benchmark on POWER8.
WHPCF@SC
Bishop Brock, Frank Liu, Karthick Rajamani
2015 J jnl
Solutions to IBM POWER8 verification challenges.
IBM J. Res. Dev.
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, Larry S. Leitner, G. B. Meil, Charles Meissner, Ronny Morad, Amir Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann
2013 J jnl
Active Guardband Management in Power7+ to Save Energy and Maintain Reliability.
IEEE Micro
Charles Lefurgy, Alan J. Drake, Michael S. Floyd, Malcolm Allen-Ware, Bishop Brock, José A. Tierno, John B. Carter, Robert W. Berry
2013 B conf
Virtual Power Management simulation framework for computer systems.
ISPASS
Bishop Brock, Srinivasan Ramani, Ken Vu, Heather Hanson, Michael S. Floyd
2012 A* conf
Accurate Fine-Grained Processor Power Proxies.
MICRO
Wei Huang, Charles Lefurgy, William Kuk, Alper Buyuktosunoglu, Michael S. Floyd, Karthick Rajamani, Malcolm Allen-Ware, Bishop Brock
2011 A* conf
Active management of timing guardband to save energy in POWER7.
MICRO
Charles Lefurgy, Alan J. Drake, Michael S. Floyd, Malcolm Allen-Ware, Bishop Brock, José A. Tierno, John B. Carter
2011 J jnl
Adaptive energy-management features of the IBM POWER7 chip.
IBM J. Res. Dev.
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
2011 J jnl
Introducing the Adaptive Energy Management Features of the Power7 Chip.
IEEE Micro
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
2010 — conf
Adaptive energy management features of the POWER7TM processor.
Hot Chips Symposium
Michael S. Floyd, Bishop Brock, Malcolm S. Ware, Karthick Rajamani, Alan J. Drake, Charles Lefurgy, Lorena Pesantez
2010 A* conf
Architecting for power management: The IBM POWER7
HPCA
Malcolm S. Ware, Karthick Rajamani, Michael S. Floyd, Bishop Brock, Juan C. Rubio, Freeman L. Rawson III, John B. Carter
2008 J jnl
Rewriting with Equivalence Relations in ACL2.
J. Autom. Reason.
Bishop Brock, Matt Kaufmann, J Strother Moore
2003 J jnl
The design and application of the PowerPC 405LP energy-efficient system-on-a-chip.
IBM J. Res. Dev.
Kevin J. Nowka, Gary D. Carpenter, Bishop Brock
2002 J jnl
A 32-bit PowerPC system-on-a-chip with support for dynamic voltage scaling and dynamic frequency scaling.
IEEE J. Solid State Circuits
Kevin J. Nowka, Gary D. Carpenter, Eric W. MacDonald, Hung C. Ngo, Bishop Brock, Koji I. Ishii, Tuyet Nguyen, Jeffrey L. Burns
2001 J jnl
Experience with building a commodity Intel-based ccNUMA system.
IBM J. Res. Dev.
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
1997 C conf
Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP.
ICCD
Bishop Brock, Warren A. Hunt Jr.
1997 J jnl
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor.
Formal Methods Syst. Des.
Bishop Brock, Warren A. Hunt Jr.
1996 B conf
ACL2 Theorems About Commercial Microprocessors.
FMCAD
Bishop Brock, Matt Kaufmann, J Strother Moore
1992 — conf
Introduction to a Formally Defined Hardware Description Language.
TPCD
Bishop Brock, Warren A. Hunt Jr., William D. Young
1989 — conf
The Verification of a Bit-slice ALU.
Hardware Specification, Verification and Synthesis
Warren A. Hunt Jr., Bishop Brock
1988 A conf
Analogical Reasoning and Proof Discovery.
CADE
Bishop Brock, Shaun Cooper, William Pierce