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: Brock:Bishop
Contributed to:
2010
1988Wrote 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.