Bishop Brock

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

9EEBishop Brock, Matt Kaufmann, J. Strother Moore: Rewriting with Equivalence Relations in ACL2. J. Autom. Reasoning 40(4): 293-306 (2008)
8EEKevin 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)
7EEBishop 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)
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)
4 Bishop Brock, Matt Kaufmann, J. Strother Moore: ACL2 Theorems About Commercial Microprocessors. FMCAD 1996: 275-293
3 Bishop Brock, Warren A. Hunt Jr., William D. Young: Introduction to a Formally Defined Hardware Description Language. TPCD 1992: 3-35
2 Warren A. Hunt Jr., Bishop Brock: The Verification of a Bit-slice ALU. Hardware Specification, Verification and Synthesis 1989: 282-306
1 Bishop Brock, Shaun Cooper, William Pierce: Analogical Reasoning and Proof Discovery. CADE 1988: 454-468

Coauthor Index

1Philippe L. De Backer [7]
2Gary D. Carpenter [7] [8]
3Eli Chiprout [7]
4Shaun Cooper [1]
5Mark E. Dean [7]
6E. N. Elnozahy (Elmootazbellah (Mootaz) Elnozahy) [7]
7Hubertus Franke [7]
8Mark Giampapa [7]
9David Glasco [7]
10Warren A. Hunt Jr. [2] [3] [5] [6]
11Matt Kaufmann [4] [9]
12J. Strother Moore [4] [9]
13Kevin J. Nowka [8]
14James L. Peterson [7]
15William Pierce [1]
16Ramakrishnan Rajamony [7]
17Rajan Ravindran [7]
18Freeman L. Rawson III [7]
19Ronald L. Rockhold [7]
20Juan C. Rubio (Juan Rubio) [7]
21William D. Young [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)