Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bishop Brock
2010 – today
- 2012
[c8]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: 224-234- 2011
- [j6]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 Journal of Research and Development 55(3): 8 (2011)
- [j5]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): 60-75 (2011)
- [c7]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: 1-11
- 2010
- [c6]Malcolm S. Ware, Karthick Rajamani, Michael S. Floyd, Bishop Brock, Juan C. Rubio, Freeman L. Rawson III, John B. Carter: Architecting for power management: The IBM POWER7TM approach. HPCA 2010: 1-11
2000 – 2009
- 2008
- [j4]Bishop Brock, Matt Kaufmann, J. Strother Moore: Rewriting with Equivalence Relations in ACL2. J. Autom. Reasoning 40(4): 293-306 (2008)
- 2003
- [j3]Kevin J. Nowka, Gary D. Carpenter, Bishop Brock: The design and application of the PowerPC 405LP energy-efficient system-on-a-chip. IBM Journal of Research and Development 47(5-6): 631-640 (2003)
- 2001
- [j2]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 Journal of Research and Development 45(2): 207-228 (2001)
1990 – 1999
- 1997
- [j1]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 in System Design 11(1): 71-104 (1997)
- [c5]Bishop Brock, Warren A. Hunt Jr.: Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP. ICCD 1997: 31-36
- 1996
- [c4]Bishop Brock, Matt Kaufmann, J. Strother Moore: ACL2 Theorems About Commercial Microprocessors. FMCAD 1996: 275-293
- 1992
- [c3]Bishop Brock, Warren A. Hunt Jr., William D. Young: Introduction to a Formally Defined Hardware Description Language. TPCD 1992: 3-35
1980 – 1989
- 1989
- [c2]Warren A. Hunt Jr., Bishop Brock: The Verification of a Bit-slice ALU. Hardware Specification, Verification and Synthesis 1989: 282-306
- 1988
- [c1]Bishop Brock, Shaun Cooper, William Pierce: Analogical Reasoning and Proof Discovery. CADE 1988: 454-468
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-11 03:37 CEST by the dblp team