Issued Patents All Time
Showing 51–72 of 72 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8166253 | Memory management system in a computer system with shared memory mappings | Anil Rao, Carl A. Waldspurger | 2012-04-24 |
| 8099568 | Separate swap files corresponding to different virtual machines in a host computer system | Osten Kit Colbert, Carl A. Waldspurger, Anil Rao | 2012-01-17 |
| 8095931 | Controlling memory conditions in a virtual machine | Carl A. Waldspurger, Anil Rao | 2012-01-10 |
| 8060883 | System for managing and providing expandable resource reservations in a tree hierarchy | Anil Rao, Carl A. Waldspurger | 2011-11-15 |
| 8015367 | Memory management methods in a computer system with shared memory mappings | Anil Rao, Carl A. Waldspurger | 2011-09-06 |
| 8010667 | On-access anti-virus mechanism for virtual machine architecture | Yufeng Zhang, Bich Cau Le, Jagannath Gopal Krishnan, Derek Uluski | 2011-08-30 |
| 7984304 | Dynamic verification of validity of executable code | Carl A. Waldspurger, Ole Agesen, John Zedlewski, Tal Garfinkel | 2011-07-19 |
| 7925850 | Page signature disambiguation for increasing the efficiency of virtual machine migration in shared-page virtualized computer systems | Carl A. Waldspurger, Osten Kit Colbert, Rajesh Venkatasubramanian | 2011-04-12 |
| 7908646 | Virtualization system for computers having multiple protection mechanisms | Alberto J. Munoz, Jeffrey W. Sheldon | 2011-03-15 |
| 7886127 | Methods for accessing multiple page tables in a computer system | Alberto J. Munoz | 2011-02-08 |
| 7797748 | On-access anti-virus mechanism for virtual machine architecture | Yufeng Zheng, Bich Cau Le, Jagannath Gopal Krishnan, Derek Uluski | 2010-09-14 |
| 7716446 | System and method for cooperative virtual machine memory scheduling | Carl A. Waldspurger, Anil Rao | 2010-05-11 |
| 7702843 | Determining memory conditions in a virtual machine | Carl A. Waldspurger, Anil Rao | 2010-04-20 |
| 7624240 | Separate swap files corresponding to different virtual machines in a host computer system | Osten Kit Colbert, Carl A. Waldspurger, Anil Rao | 2009-11-24 |
| 7490216 | Methods for accessing multiple page tables in a computer system | Alberto J. Munoz | 2009-02-10 |
| 7478388 | Switching between multiple software entities using different operating modes of a processor in a computer system | Alberto J. Munoz, Sahil Rihan, Robert D. Manchester | 2009-01-13 |
| 7409487 | Virtualization system for computers that use address space indentifiers | Alberto J. Munoz, Sahil Rihan | 2008-08-05 |
| 7278030 | Virtualization system for computers having multiple protection mechanisms | Alberto J. Munoz, Jeffrey W. Sheldon | 2007-10-02 |
| 7275136 | Virtualization system for computers with a region-based memory architecture | — | 2007-09-25 |
| 7260815 | Method and apparatus for managing registers in a binary translator | Sahil Rihan | 2007-08-21 |
| 7111145 | TLB miss fault handler and method for accessing multiple page tables | Alberto J. Munoz | 2006-09-19 |
| 7089377 | Virtualization system for computers with a region-based memory architecture | — | 2006-08-08 |