Issued Patents All Time
Showing 76–100 of 104 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8533382 | Method and system for frequent checkpointing | Daniel J. Scales, Ganesh Venkitachalam, Michael Nelson | 2013-09-10 |
| 8412910 | Maintaining reverse mappings in a virtualized computer system | Garrett Smith | 2013-04-02 |
| 8402441 | Monitoring execution of guest code in a virtual machine | Dmitriy Budko, Xiaoxin Chen, Oded Horovitz, Carl A. Waldspurger | 2013-03-19 |
| 8327059 | System and method to enhance memory protection for programs in a virtual machine environment | Xiaoxin Chen | 2012-12-04 |
| 8266404 | Generating and using checkpoints in a virtual computer system | Carl A. Waldspurger, Michael Nelson, Daniel J. Scales | 2012-09-11 |
| 8261265 | Transparent VMM-assisted user-mode execution control transfer | Xiaoxin Chen, Carl A. Waldspurger, Tal Garfinkel, Daniel R. K. Ports | 2012-09-04 |
| 8255484 | Provisioning of computer systems using virtual machines | Dilip Khandekar, Dragutin Petkovic, Bich Cau Le | 2012-08-28 |
| 8250519 | Forcing registered code into an execution context of guest software | Dmitriy Budko, Xiaoxin Chen, Oded Horovitz, Carl A. Waldspurger | 2012-08-21 |
| 8171338 | Method and system for enabling checkpointing fault tolerance across remote virtual machines | Ole Agesen, Raviprasad Venkatesha Murthy Mummidi | 2012-05-01 |
| 8024506 | Maintaining address translations during the software-based processing of instructions | Ole Agesen | 2011-09-20 |
| 8015388 | Bypassing guest page table walk for shadow page table entries not present in guest page table | Sahil Rihan | 2011-09-06 |
| 7984264 | Maintaining reverse mappings in a virtualized computer system | Garrett Smith | 2011-07-19 |
| 7971015 | Generating and using checkpoints in a virtual computer system | Carl A. Waldspurger, Michael Nelson, Daniel J. Scales | 2011-06-28 |
| 7945761 | Maintaining validity of cached address mappings | Vyacheslav V. Malyugin | 2011-05-17 |
| 7783838 | Maintaining coherency of derived data in a computer system | Ole Agesen, Keith Adams | 2010-08-24 |
| 7636831 | Optimization of reverse mappings for immutable guest physical pages of virtual memories in a virtualized computer system | Garrett Smith | 2009-12-22 |
| 7577722 | Provisioning of computer systems using virtual machines | Dilip Khandekar, Dragutin Petkovic, Bich Cau Le | 2009-08-18 |
| 7529897 | Generating and using checkpoints in a virtual computer system | Carl A. Waldspurger, Michael Nelson, Daniel J. Scales | 2009-05-05 |
| 7243339 | System and method to decrease program analysis overhead | Nathaniel McIntosh | 2007-07-10 |
| 7222221 | Maintaining coherency of derived data in a computer system | Ole Agesen, Keith Adams | 2007-05-22 |
| 7149843 | System and method for detecting access to shared structures and for maintaining coherence of derived structures in virtualized multiprocessor systems | Ole Agesen, Scott W. Devine, Mendel Rosenblum, Edouard Bugnion | 2006-12-12 |
| 7069413 | Method and system for performing virtual to physical address translations in a virtual machine monitor | Ole Agesen | 2006-06-27 |
| 6961806 | System and method for detecting access to shared structures and for maintaining coherence of derived structures in virtualized multiprocessor systems | Ole Agesen, Scott W. Devine, Mendel Rosenblum, Edouard Bugnlon | 2005-11-01 |
| 6735601 | System and method for remote file access by computer | — | 2004-05-11 |
| 6247173 | Computer compiler optimizer for reducing computer resource consumption during dependence analysis after loop unrolling | — | 2001-06-12 |