Issued Patents All Time
Showing 25 most recent of 62 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10545744 | Prediction mechanism for subroutine returns in binary translation sub-systems of computers | — | 2020-01-28 |
| 9965399 | Large-page optimization in virtual memory paging systems | — | 2018-05-08 |
| 9836292 | Prediction mechanism for subroutine returns in binary translation sub-systems of computers | — | 2017-12-05 |
| 9785506 | Reducing likelihood of concurrency error in virtualized computing environment | Michael H. Cohen, Jeffrey W. Sheldon | 2017-10-10 |
| 9619399 | Large-page optimization in virtual memory paging systems | — | 2017-04-11 |
| 9532103 | Multi-user support for set top boxes and game consoles | Salim AbiEzzi | 2016-12-27 |
| 8898518 | Method and system for enabling checkpointing fault tolerance across remote virtual machines | Raviprasad Venkatesha Murthy Mummidi, Pratap Subrahmanyam | 2014-11-25 |
| 8875162 | Efficient virtualization of input/output completions for a virtual device | Boris Weissman, Keith Adams, Jennifer-Ann M. Anderson, Maxime Austruy | 2014-10-28 |
| 8719545 | System and method for improving memory locality of virtual machines | Vivek Pandey, Alexander T. Garthwaite, Carl A. Waldspurger, Rajesh Venkatasubramanian | 2014-05-06 |
| 8719513 | System and method for maintaining memory page sharing in a virtual environment | — | 2014-05-06 |
| 8578380 | Program concurrency control using condition variables | Keith Adams | 2013-11-05 |
| 8572606 | System and method for avoiding synchronization bugs through virtualization | Michael H. Cohen, Jeffrey W. Sheldon | 2013-10-29 |
| 8533745 | Efficient virtualization of input/output completions for a virtual device | Boris Weissman, Keith Adams, Jennifer-Ann M. Anderson, Maxime Austruy | 2013-09-10 |
| 8380939 | System and method for maintaining memory page sharing in a virtual environment | — | 2013-02-19 |
| 8352705 | Large-page optimization in virtual memory paging systems | — | 2013-01-08 |
| 8316193 | Optimizing segment access in binary translation | Ross C. Knippel, Jeffrey W. Sheldon | 2012-11-20 |
| 8307192 | System and method for improving memory locality of virtual machines | Vivek Pandey, Alexander T. Garthwaite, Carl A. Waldspurger, Rajesh Venkatasubramanian | 2012-11-06 |
| 8171338 | Method and system for enabling checkpointing fault tolerance across remote virtual machines | Raviprasad Venkatesha Murthy Mummidi, Pratap Subrahmanyam | 2012-05-01 |
| 8037280 | System and method for improving memory locality of virtual machines | Vivek Pandey, Alex Garthwaite, Carl A. Waldspurger, Rajesh Venkatasubramanian | 2011-10-11 |
| 8024506 | Maintaining address translations during the software-based processing of instructions | Pratap Subrahmanyam | 2011-09-20 |
| 8006043 | System and method for maintaining memory page sharing in a virtual environment | — | 2011-08-23 |
| 7984304 | Dynamic verification of validity of executable code | Carl A. Waldspurger, Xiaoxin Chen, John Zedlewski, Tal Garfinkel | 2011-07-19 |
| 7890722 | Sequentially performed compound compare-and-swap | Guy L. Steele, Jr., Nir N. Shavit | 2011-02-15 |
| 7853960 | Efficient virtualization of input/output completions for a virtual device | Boris Weissman, Keith Adams, Jennifer-Ann M. Anderson, Maxime Austruy | 2010-12-14 |
| 7783838 | Maintaining coherency of derived data in a computer system | Pratap Subrahmanyam, Keith Adams | 2010-08-24 |