Bishop Brock

	2011
13		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
12		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)
11		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)
	2010
10		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
	2008
9		Bishop Brock, Matt Kaufmann, J. Strother Moore: Rewriting with Equivalence Relations in ACL2. J. Autom. Reasoning 40(4): 293-306 (2008)
	2003
8		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
7		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)
	1997
6		Bishop Brock, Warren A. Hunt Jr.: Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP. ICCD 1997: 31-36
5		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)
	1996
4		Bishop Brock, Matt Kaufmann, J. Strother Moore: ACL2 Theorems About Commercial Microprocessors. FMCAD 1996: 275-293
	1992
3		Bishop Brock, Warren A. Hunt Jr., William D. Young: Introduction to a Formally Defined Hardware Description Language. TPCD 1992: 3-35
	1989
2		Warren A. Hunt Jr., Bishop Brock: The Verification of a Bit-slice ALU. Hardware Specification, Verification and Synthesis 1989: 282-306
	1988
1		Bishop Brock, Shaun Cooper, William Pierce: Analogical Reasoning and Proof Discovery. CADE 1988: 454-468

Coauthor Index

1	Malcolm Allen-Ware	[11] [12] [13]
2	Philippe L. De Backer	[7]
3	Pradip Bose	[11] [12]
4	Alper Buyuktosunoglu	[11] [12]
5	Gary D. Carpenter	[7] [8]
6	John B. Carter	[10] [13]
7	Eli Chiprout	[7]
8	Shaun Cooper	[1]
9	Mark E. Dean	[7]
10	Alan J. Drake	[11] [13]
11	E. N. Elnozahy (Elmootazbellah (Mootaz) Elnozahy)	[7]
12	Michael S. Floyd	[10] [11] [12] [13]
13	Hubertus Franke	[7]
14	Mark Giampapa	[7]
15	David Glasco	[7]
16	Tilman Gloekler	[11] [12]
17	Warren A. Hunt Jr.	[2] [3] [5] [6]
18	Matt Kaufmann	[4] [9]
19	Charles Lefurgy	[11] [13]
20	J. Strother Moore	[4] [9]
21	Kevin J. Nowka	[8]
22	Lorena Pesantez	[11] [12]
23	James L. Peterson	[7]
24	William Pierce	[1]
25	Karthick Rajamani	[10] [11] [12]
26	Ramakrishnan Rajamony	[7]
27	Rajan Ravindran	[7]
28	Freeman L. Rawson III	[7] [10]
29	Ronald L. Rockhold	[7]
30	Juan C. Rubio (Juan Rubio)	[7] [10] [12]
31	Birgit Schubert	[12]
32	Bruno Spruth	[12]
33	José A. Tierno	[11] [12] [13]
34	Malcolm S. Ware	[10]
35	William D. Young	[3]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page