| 9323550 |
Mechanism for providing virtual machines for use by multiple users |
Beng-Hong Lim, Edouard Bugnion |
2016-04-26 |
$20,307,000 |
| 9251102 |
Virtualizing processor memory protection with “L1 iterate and L2 drop/repopulate” |
Harvey Tuch, Prashanth P. Bungale, Lawrence S. Rogel |
2016-02-02 |
$6,424,000 |
| 9201674 |
Migrating functionality in virtualized mobile devices |
Lawrence S. Rogel |
2015-12-01 |
$11,163,000 |
| 9009727 |
Virtualization with in-place translation |
Lawrence S. Rogel, Prashanth P. Bungale, Gerald A. Fry |
2015-04-14 |
$30,831,000 |
| 8868880 |
Virtualization with multiple shadow page tables |
Lawrence S. Rogel, Prashanth P. Bungale, Gerald A. Fry |
2014-10-21 |
$18,321,000 |
| 8832351 |
Virtualizing processor memory protection with “L1 iterate and L2 drop/repopulate” |
Harvey Tuch, Prashanth P. Bungale, Lawrence S. Rogel |
2014-09-09 |
$24,818,000 |
| 8631066 |
Mechanism for providing virtual machines for use by multiple users |
Beng-Hong Lim, Edouard Bugnion |
2014-01-14 |
$29,966,000 |
| 8621136 |
Virtualizing processor memory protection with “L1 iterate and L2 swizzle” |
Harvey Tuch, Prashanth P. Bungale, Lawrence S. Rogel |
2013-12-31 |
$35,821,000 |
| 8489800 |
Virtualizing processor memory protection with “domain track” |
Harvey Tuch, Prashanth P. Bungale, Lawrence S. Rogel |
2013-07-16 |
$16,752,000 |
| 8464022 |
Virtualization with shadow page tables |
Lawrence S. Rogel, Prashanth P. Bungale, Gerald A. Fry |
2013-06-11 |
$21,370,000 |
| 8438256 |
Migrating functionality in virtualized mobile devices |
Lawrence S. Rogel |
2013-05-07 |
$44,728,000 |
| 8302094 |
Routing a physical device request using transformer stack to an equivalent physical device in a virtualized mobile device |
Lawrence S. Rogel |
2012-10-30 |
|
| 8245227 |
Virtual machine execution using virtualization software with shadow page tables and address space interspersed among guest operating system address space |
Lawrence S. Rogel, Prashanth P. Bungale, Gerald A. Fry |
2012-08-14 |
$25,978,000 |
| 8219063 |
Controlling usage in mobile devices via a virtualization software layer |
Lawrence S. Rogel, Julia B. Austin, Srinivas Krishnamurti |
2012-07-10 |
$28,151,000 |
| 8127107 |
Virtualization with merged guest page table and shadow page directory |
Lawrence S. Rogel, Prashanth P. Bungale, Gerald A. Fry |
2012-02-28 |
$33,249,000 |
| 8086822 |
In-place shadow tables for virtualization |
Lawrence S. Rogel, Prashanth P. Bungale, Gerald A. Fry |
2011-12-27 |
$81,805,000 |
| 8074045 |
Virtualization with fortuitously sized shadow page tables |
Lawrence S. Rogel, Prashanth P. Bungale, Gerald A. Fry |
2011-12-06 |
$87,385,000 |
| 7665088 |
Context-switching to and from a host OS in a virtualized computer system |
Edouard Bugnion, Mendel Rosenblum |
2010-02-16 |
$50,356,000 |
| 7412702 |
System software displacement in a virtual computer system |
Michael Nelson, Beng-Hong Lim |
2008-08-12 |
$29,112,000 |
| 7149843 |
System and method for detecting access to shared structures and for maintaining coherence of derived structures in virtualized multiprocessor systems |
Ole Agesen, Pratap Subrahmanyam, Mendel Rosenblum, Edouard Bugnion |
2006-12-12 |
|
| 6961806 |
System and method for detecting access to shared structures and for maintaining coherence of derived structures in virtualized multiprocessor systems |
Ole Agesen, Pratap Subrahmanyam, Mendel Rosenblum, Edouard Bugnlon |
2005-11-01 |
|
| 6961941 |
Computer configuration for resource management in systems including a virtual machine |
Michael Nelson, Beng-Hong Lim |
2005-11-01 |
|
| 6944699 |
System and method for facilitating context-switching in a multi-context computer system |
Edouard Bugnion, Mendel Rosenblum |
2005-09-13 |
|
| 6795966 |
Mechanism for restoring, porting, replicating and checkpointing computer systems using state extraction |
Beng-Hong Lim, Edouard Bugnion |
2004-09-21 |
|
| 6496847 |
System and method for virtualizing computer systems |
Edouard Bugnion, Mendel Rosenblum |
2002-12-17 |
|