|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael S. Floyd, Malcolm Allen-Ware, Karthick Rajamani, Bishop Brock, Charles Lefurgy, Alan J. Drake, Lorena Pesantez, Tilman Gloekler, José A. Tierno, Pradip Bose, Alper Buyuktosunoglu |
Introducing the Adaptive Energy Management Features of the Power7 Chip.  |
IEEE Micro  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael S. Floyd, Malcolm Allen-Ware, Karthick Rajamani, Tilman Gloekler, Bishop Brock, Pradip Bose, Alper Buyuktosunoglu, Juan C. Rubio, Birgit Schubert, Bruno Spruth, José A. Tierno, Lorena Pesantez |
Adaptive energy-management features of the IBM POWER7 chip. |
IBM Journal of Research and Development |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Lefurgy, Alan J. Drake, Michael S. Floyd, Malcolm Allen-Ware, Bishop Brock, José A. Tierno, John B. Carter |
Active management of timing guardband to save energy in POWER7. |
MICRO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Malcolm S. Ware, Karthick Rajamani, Michael S. Floyd, Bishop Brock, Juan C. Rubio, Freeman L. Rawson III, John B. Carter |
Architecting for power management: The IBM POWER7TM approach. |
HPCA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bishop Brock, Matt Kaufmann, J. Strother Moore |
Rewriting with Equivalence Relations in ACL2. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Refinement, Rewriting, Congruence, Equivalence relations |
| 1 | Kevin 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bishop 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 |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bishop Brock, Warren A. Hunt Jr. |
Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP. |
ICCD |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bishop Brock, Matt Kaufmann, J. Strother Moore |
ACL2 Theorems About Commercial Microprocessors. |
FMCAD |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bishop Brock, Warren A. Hunt Jr., William D. Young |
Introduction to a Formally Defined Hardware Description Language. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Warren A. Hunt Jr., Bishop Brock |
The Verification of a Bit-slice ALU. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bishop Brock, Shaun Cooper, William Pierce |
Analogical Reasoning and Proof Discovery. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")