| 10318322 |
Binary translator with precise exception synchronization mechanism |
— |
2019-06-11 |
| 9734063 |
Scale-out non-uniform memory access |
Stanko Novakovic, Alexandros Daglis, Boris Grot, Babak Falsafi |
2017-08-15 |
| 9323550 |
Mechanism for providing virtual machines for use by multiple users |
Beng-Hong Lim, Scott W. Devine |
2016-04-26 |
| 9201653 |
Binary translator with precise exception synchronization mechanism |
— |
2015-12-01 |
| 8631066 |
Mechanism for providing virtual machines for use by multiple users |
Beng-Hong Lim, Scott W. Devine |
2014-01-14 |
| 8495631 |
Undefeatable transformation for virtual machine I/O operations |
Carl A. Waldspurger |
2013-07-23 |
| 8296551 |
Binary translator with precise exception synchronization mechanism |
— |
2012-10-23 |
| 8060877 |
Undefeatable transformation for virtual machine I/O operations |
Carl A. Waldspurger |
2011-11-15 |
| 7665088 |
Context-switching to and from a host OS in a virtualized computer system |
Scott W. Devine, Mendel Rosenblum |
2010-02-16 |
| 7516453 |
Binary translator with precise exception synchronization mechanism |
— |
2009-04-07 |
| 7260820 |
Undefeatable transformation for virtual machine I/O operations |
Carl A. Waldspurger |
2007-08-21 |
| 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, Scott W. Devine, Mendel Rosenblum |
2006-12-12 |
| 6944699 |
System and method for facilitating context-switching in a multi-context computer system |
Scott W. Devine, Mendel Rosenblum |
2005-09-13 |
| 6795966 |
Mechanism for restoring, porting, replicating and checkpointing computer systems using state extraction |
Beng-Hong Lim, Scott W. Devine |
2004-09-21 |
| 6785886 |
Deferred shadowing of segment descriptors in a virtual machine monitor for a segmented computer architecture |
Beng-Hong Lim, Bich Cau Le |
2004-08-31 |
| 6704925 |
Dynamic binary translator with a system and method for updating and maintaining coherency of a translation cache |
— |
2004-03-09 |
| 6496847 |
System and method for virtualizing computer systems |
Scott W. Devine, Mendel Rosenblum |
2002-12-17 |
| 6397242 |
Virtualization system including a virtual machine monitor for a computer with a segmented architecture |
Scott W. Devine, Mendel Rosenblum |
2002-05-28 |
| 6075938 |
Virtual machine monitors for scalable multiprocessors |
Scott W. Devine, Mendel Rosenblum |
2000-06-13 |
