| 8924648 |
Method and system for caching attribute data for matching attributes with physical addresses |
H. Peter Anvin, Guillermo J. Rozas, Alexander Klaiber |
2014-12-30 |
|
| 8566564 |
Method and system for caching attribute data for matching attributes with physical addresses |
H. Peter Anvin, Guillermo J. Rozas, Alexander Klaiber |
2013-10-22 |
|
| 8549266 |
System and method of instruction modification |
Eric Hao, Brett W. Coon |
2013-10-01 |
|
| 8473727 |
History based pipelined branch prediction |
David Dunn |
2013-06-25 |
|
| 8438548 |
Consistency checking of source instruction to execute previously translated instructions between copy made upon occurrence of write operation to memory and current version |
H. Peter Anvin, Robert Bedicheck, Guillermo J. Rozas, Andrew Shaw, Linus Torvalds +1 more |
2013-05-07 |
|
| 8370604 |
Method and system for caching attribute data for matching attributes with physical addresses |
H. Peter Anvin, Guillermo J. Rozas, Alexander Klaiber |
2013-02-05 |
|
| 7984277 |
System and method of instruction modification |
Eric Hao, Brett W. Coon |
2011-07-19 |
|
| 7979669 |
Method and system for caching attribute data for matching attributes with physical addresses |
H. Peter Anvin, Guillermo J. Rozas, Alexander Klaiber |
2011-07-12 |
|
| 7904891 |
Checking for instruction invariance to execute previously obtained translation code by comparing instruction to a copy stored when write operation to the memory portion occur |
H. Peter Anvin, Robert Bedichek, Guillermo J. Rozas, Andrew Shaw, Linus Torvalds +1 more |
2011-03-08 |
|
| 7779241 |
History based pipelined branch prediction |
David Dunn |
2010-08-17 |
|
| 7725656 |
Braided set associative caching techniques |
Guillermo J. Rozas, Alexander Klaiber, Robert P. Masleid, James Van Zoeren, Paul Serris |
2010-05-25 |
|
| 7698539 |
System and method of instruction modification |
Eric Hao, Brett W. Coon |
2010-04-13 |
|
| 7644210 |
Method and system for storing and retrieving a translation of target program instruction from a host processor using fast look-up of indirect branch destination in a dynamic translation system |
Brett W. Coon, Linus Torvalds, Brian Choy, Malcolm Wing, Patrick Gainer |
2010-01-05 |
|
| 7617088 |
Interpage prologue to protect virtual address mappings |
Robert Bedichek, David Keppel |
2009-11-10 |
|
| 7404181 |
Switching to original code comparison of modifiable code for translated code validity when frequency of detecting memory overwrites exceeds threshold |
H. Peter Anvin, Robert Bedichek, Guillermo J. Rozas, Andrew Shaw, Linus Torvalds +1 more |
2008-07-22 |
$9,792,000 |
| 7380098 |
Method and system for caching attribute data for matching attributes with physical addresses |
H. Peter Anvin, Guillermo J. Rozas, Alexander Klaiber |
2008-05-27 |
$5,374,000 |
| 7249246 |
Methods and systems for maintaining information for locating non-native processor instructions when executing native processor instructions |
H. Peter Anvin, Guillermo J. Rozas |
2007-07-24 |
$1,431,000 |
| 7111096 |
Fast look-up of indirect branch destination in a dynamic translation system |
Brett W. Coon, Linus Torvalds, Brian Choy, Malcolm Wing, Patrick Gainer |
2006-09-19 |
$1,378,000 |
| 7096460 |
Switching to original modifiable instruction copy comparison check to validate prior translation when translated sub-area protection exception slows down operation |
H. Peter Anvin, Robert Bedichek, Guillermo J. Rozas, Andrew Shaw, Linus Torvalds +1 more |
2006-08-22 |
$3,834,000 |
| 7089397 |
Method and system for caching attribute data for matching attributes with physical addresses |
H. Peter Anvin, Guillermo J. Rozas, Alexander Klaiber |
2006-08-08 |
$2,561,000 |
| 6845353 |
Interpage prologue to protect virtual address mappings |
Robert Bedichek, David Keppel |
2005-01-18 |
$5,214,000 |
| 6640297 |
Link pipe system for storage and retrieval of sequences of branch addresses |
Brett W. Coon, Eric Hao |
2003-10-28 |
$13,464,000 |
| 6615300 |
Fast look-up of indirect branch destination in a dynamic translation system |
Brett W. Coon, Linus Torvalds, Brian Choy, Malcolm Wing, Patrick Gainer |
2003-09-02 |
$4,513,000 |
| 6594821 |
Translation consistency checking for modified target instructions by comparing to original copy |
H. Peter Anvin, Robert Bedichek, Guillermo J. Rozas, Andrew Shaw, Linus Torvalds +1 more |
2003-07-15 |
$4,776,000 |
| 6363336 |
Fine grain translation discrimination |
H. Peter Anvin, Benjamin Iver Gribstad, David Keppel, Alex Klaiber, Paul Serris |
2002-03-26 |
$16,987,000 |