Bishop Brock
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1988–2015
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SC | STAC-A2™ benchmark on POWER8. | Bishop Brock, Frank Liu, Karthick Rajamani |
| 2013 | ISPASS | Virtual Power Management simulation framework for computer systems. | Bishop Brock, Srinivasan Ramani, Ken Vu, Heather Hanson, Michael S. Floyd |
| 2012 | MICRO | Accurate Fine-Grained Processor Power Proxies. | Wei Huang, Charles Lefurgy, William Kuk, Alper Buyuktosunoglu, Michael S. Floyd, Karthick Rajamani, Malcolm Allen-Ware, Bishop Brock |
| 2011 | MICRO | 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 |
| 2010 | HPCA | Architecting for power management: The IBM POWER7 | Malcolm S. Ware, Karthick Rajamani, Michael S. Floyd, Bishop Brock, Juan C. Rubio, Freeman L. Rawson III, John B. Carter |
| 1997 | ICCD | Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP. | Bishop Brock, Warren A. Hunt Jr. |
| 1996 | FMCAD | ACL2 Theorems About Commercial Microprocessors. | Bishop Brock, Matt Kaufmann, J Strother Moore |
| 1988 | CADE | Analogical Reasoning and Proof Discovery. | Bishop Brock, Shaun Cooper, William Pierce |