BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × USA
Collaborated with:
S.Cooper W.Pierce M.S.Ware K.Rajamani M.S.Floyd J.C.Rubio F.L.R.III J.B.Carter
Talks about:
power (2) discoveri (1) architect (1) approach (1) reason (1) analog (1) proof (1) manag (1) ibm (1)

Person: Bishop Brock

DBLP DBLP: Brock:Bishop

Contributed to:

HPCA 20102010
CADE 19881988

Wrote 2 papers:

HPCA-2010-WareRFBRRC #approach #architecture #power management
Architecting for power management: The IBM POWER7TM approach (MSW, KR, MSF, BB, JCR, FLRI, JBC), pp. 1–11.
CADE-1988-BrockCP #proving #reasoning
Analogical Reasoning and Proof Discovery (BB, SC, WP), pp. 454–468.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.