Bishop Brock
The University of Texas at Austin(US)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Low-power high-performance VLSI design, Formal Methods in Verification, Radiation Effects in Electronics
Most-Cited Works
- → A 32-bit PowerPC system-on-a-chip with support for dynamic voltage scaling and dynamic frequency scaling(2002)214 cited
- → Active management of timing guardband to save energy in POWER7(2011)138 cited
- → Architecting for power management: The IBM® POWER7™ approach(2010)119 cited
- → Introducing the Adaptive Energy Management Features of the Power7 Chip(2011)118 cited
- → ACL2 theorems about commercial microprocessors(1996)115 cited
- Dynamic Power Management for Embedded Systems(2003)
- → Active Guardband Management in Power7+ to Save Energy and Maintain Reliability(2013)63 cited
- → A formal HDL and its use in the FM9001 verification(1992)61 cited
- → Dynamic power management for embedded systems [SOC design](2004)60 cited
- → Accurate Fine-Grained Processor Power Proxies(2012)48 cited