Bishop Brock - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2015

STAC-A2™ benchmark on POWER8Bishop Brock, Frank Liu, Karthick Rajamani. sc 2015: [doi]

2013

Virtual Power Management simulation framework for computer systemsBishop Brock, Srinivasan Ramani, Ken Vu, Heather Hanson, Michael S. Floyd. ispass 2013: 128-129 [doi]

Active Guardband Management in Power7+ to Save Energy and Maintain ReliabilityCharles Lefurgy, Alan J. Drake, Michael S. Floyd, Malcolm Allen-Ware, Bishop Brock, José A. Tierno, John B. Carter, Robert W. Berry. micro, 33(4):35-45, 2013. [doi]

2012

Accurate Fine-Grained Processor Power ProxiesWei Huang, Charles Lefurgy, William Kuk, Alper Buyuktosunoglu, Michael S. Floyd, Karthick Rajamani, Malcolm Allen-Ware, Bishop Brock. micro 2012: 224-234 [doi]

2011

2010

2008

Rewriting with Equivalence Relations in ACL2Bishop Brock, Matt Kaufmann, J. Strother Moore. JAR, 40(4):293-306, 2008. [doi]

2003

The design and application of the PowerPC 405LP energy-efficient system-on-a-chipKevin J. Nowka, Gary D. Carpenter, Bishop Brock. ibmrd, 47(5-6):631-640, 2003. [doi]

2002

A 32-bit PowerPC system-on-a-chip with support for dynamic voltage scaling and dynamic frequency scalingKevin J. Nowka, Gary D. Carpenter, Eric W. MacDonald, Hung C. Ngo, Bishop Brock, Koji I. Ishii, Tuyet Nguyen, Jeffrey L. Burns. jssc, 37(11):1441-1447, 2002. [doi]

2001

Experience with building a commodity Intel-based ccNUMA systemBishop 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. ibmrd, 45(2):207-228, 2001. [doi]

1997

Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSPBishop Brock, Warren A. Hunt Jr.. iccd 1997: 31-36

The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 MicroprocessorBishop Brock, Warren A. Hunt Jr.. fmsd, 11(1):71-104, 1997.

1996

ACL2 Theorems About Commercial MicroprocessorsBishop Brock, Matt Kaufmann, J. Strother Moore. FMCAD 1996: 275-293

1992

Introduction to a Formally Defined Hardware Description LanguageBishop Brock, Warren A. Hunt Jr., William D. Young. tpcd 1992: 3-35

1989

The Verification of a Bit-slice ALUWarren A. Hunt Jr., Bishop Brock. msiw 1990: 282-306

1988

Analogical Reasoning and Proof DiscoveryBishop Brock, Shaun Cooper, William Pierce. cade 1988: 454-468

Sign in or sign up to see more results.

runs on WebDSL