B. Brock

发表

W. Hunt, B. Brock, 1992, Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.

Bishop C. Brock, Warren A. Hunt, W. Hunt, 1991, COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance.

W. Hunt, B. Brock, W.A. Hunt, 1995, Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.

Bishop Brock, Karthick Rajamani, John B. Carter, 2010, HPCA - 16 2010 The Sixteenth International Symposium on High-Performance Computer Architecture.

Mark E. Dean, Bishop Brock, David Glasco, 2001, IBM J. Res. Dev..

Mark E. Dean, Bishop Brock, Eli Chiprout, 1999 .

Bishop Brock, Warren A. Hunt, W. Hunt, 1997, Proceedings International Conference on Computer Design VLSI in Computers and Processors.

Bishop Brock, Shaun Cooper, William Pierce, 1988, CADE.

Bishop Brock, John B. Carter, Charles Lefurgy, 2011, 2011 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).

Bishop Brock, J. Strother Moore, Matt Kaufmann, 1996, FMCAD.

Bishop Brock, J. Strother Moore, J. S. Moore, 2005 .

W. Hunt, B. Brock, 1992, Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.

Bishop C. Brock, Warren A. Hunt, W. Hunt, 1989 .

Bishop Brock, Matt Kaufmann, J. S. Moore, 2008, Journal of Automated Reasoning.

Bishop Brock, Warren A. Hunt, W. Hunt, 1989, Hardware Specification, Verification and Synthesis.

Bishop C. Brock, Warren A. Hunt, Ken Albin, 1995 .

Bishop Brock, John B. Carter, Charles Lefurgy, 2013, IEEE Micro.

Bishop Brock, Eric MacDonald, Gary D. Carpenter, 2002, IEEE J. Solid State Circuits.

Bishop Brock, Karthick Rajamani, Charles Lefurgy, 2011, IEEE Micro.

Bishop Brock, Karthick Rajamani, Malcolm Allen-Ware, 2011, IBM J. Res. Dev..