| 10545744 |
Prediction mechanism for subroutine returns in binary translation sub-systems of computers |
— |
2020-01-28 |
$15,432,000 |
| 9965399 |
Large-page optimization in virtual memory paging systems |
— |
2018-05-08 |
$21,970,000 |
| 9836292 |
Prediction mechanism for subroutine returns in binary translation sub-systems of computers |
— |
2017-12-05 |
$19,708,000 |
| 9785506 |
Reducing likelihood of concurrency error in virtualized computing environment |
Michael H. Cohen, Jeffrey W. Sheldon |
2017-10-10 |
$8,490,000 |
| 9619399 |
Large-page optimization in virtual memory paging systems |
— |
2017-04-11 |
$5,539,000 |
| 9532103 |
Multi-user support for set top boxes and game consoles |
Salim AbiEzzi |
2016-12-27 |
$3,744,000 |
| 8898518 |
Method and system for enabling checkpointing fault tolerance across remote virtual machines |
Raviprasad Venkatesha Murthy Mummidi, Pratap Subrahmanyam |
2014-11-25 |
$14,028,000 |
| 8875162 |
Efficient virtualization of input/output completions for a virtual device |
Boris Weissman, Keith Adams, Jennifer-Ann M. Anderson, Maxime Austruy |
2014-10-28 |
$8,771,000 |
| 8719545 |
System and method for improving memory locality of virtual machines |
Vivek Pandey, Alexander T. Garthwaite, Carl A. Waldspurger, Rajesh Venkatasubramanian |
2014-05-06 |
$12,971,000 |
| 8719513 |
System and method for maintaining memory page sharing in a virtual environment |
— |
2014-05-06 |
$12,971,000 |
| 8578380 |
Program concurrency control using condition variables |
Keith Adams |
2013-11-05 |
$24,308,000 |
| 8572606 |
System and method for avoiding synchronization bugs through virtualization |
Michael H. Cohen, Jeffrey W. Sheldon |
2013-10-29 |
$32,071,000 |
| 8533745 |
Efficient virtualization of input/output completions for a virtual device |
Boris Weissman, Keith Adams, Jennifer-Ann M. Anderson, Maxime Austruy |
2013-09-10 |
$52,570,000 |
| 8380939 |
System and method for maintaining memory page sharing in a virtual environment |
— |
2013-02-19 |
$42,057,000 |
| 8352705 |
Large-page optimization in virtual memory paging systems |
— |
2013-01-08 |
$18,954,000 |
| 8316193 |
Optimizing segment access in binary translation |
Ross C. Knippel, Jeffrey W. Sheldon |
2012-11-20 |
$46,182,000 |
| 8307192 |
System and method for improving memory locality of virtual machines |
Vivek Pandey, Alexander T. Garthwaite, Carl A. Waldspurger, Rajesh Venkatasubramanian |
2012-11-06 |
$31,691,000 |
| 8171338 |
Method and system for enabling checkpointing fault tolerance across remote virtual machines |
Raviprasad Venkatesha Murthy Mummidi, Pratap Subrahmanyam |
2012-05-01 |
$9,607,000 |
| 8037280 |
System and method for improving memory locality of virtual machines |
Vivek Pandey, Alex Garthwaite, Carl A. Waldspurger, Rajesh Venkatasubramanian |
2011-10-11 |
$27,977,000 |
| 8024506 |
Maintaining address translations during the software-based processing of instructions |
Pratap Subrahmanyam |
2011-09-20 |
$83,920,000 |
| 8006043 |
System and method for maintaining memory page sharing in a virtual environment |
— |
2011-08-23 |
$36,414,000 |
| 7984304 |
Dynamic verification of validity of executable code |
Carl A. Waldspurger, Xiaoxin Chen, John Zedlewski, Tal Garfinkel |
2011-07-19 |
$31,023,000 |
| 7890722 |
Sequentially performed compound compare-and-swap |
Guy L. Steele, Jr., Nir N. Shavit |
2011-02-15 |
$29,890,000 |
| 7853960 |
Efficient virtualization of input/output completions for a virtual device |
Boris Weissman, Keith Adams, Jennifer-Ann M. Anderson, Maxime Austruy |
2010-12-14 |
$38,686,000 |
| 7783838 |
Maintaining coherency of derived data in a computer system |
Pratap Subrahmanyam, Keith Adams |
2010-08-24 |
$33,155,000 |
