LexDanaLexDanabeta
Inventor

Rene Antonio Vega

Inventor
Kirkland, WA, US

Overview

51→
Patents
2006–2020
Patent span
Physics
Primary field (CPC G)

Patents· 51 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing85%
G06QInformation and communication technology [ict] specially adapted for administrative, commercial, financial, managerial or supervisory purposes7%
H04LTransmission of digital information, e.g. telegraphic communication3%
A45DHairdressing or shaving equipment2%
A63BApparatus for physical training, gymnastics, swimming, climbing, or fencing2%
G11CStatic stores2%
PatentTitleYear
10,540,159Model-based virtual system provisioning202010,162,658Virtual processor allocation techniques201810,067,782Efficient detection and response to spin waits in multi-processor virtual machines20189,996,384Virtual machine homogenization to enable migration across heterogeneous computers20189,811,368'Model-based virtual system provisioning'20179,772,860'Efficient power management of a system with virtual machines'20179,626,206'Virtual machine homogenization to enable migration across heterogeneous computers'20179,489,035'Efficient power management of a system with virtual machines'20169,317,270'Model-based virtual system provisioning'20169,218,047'Efficient power management of a system with virtual machines'20159,201,673'Efficient detection and response to spin waits in multi-processor virtual machines'20159,183,030'Virtual processor allocation techniques'20159,110,698'Changing frequency of a virtual programmable interrupt timer in virtual machines to control virtual time'20159,104,594'Operational efficiency of virtual TLBs'20158,990,538'Managing memory with limited write cycles in heterogeneous memory systems'20158,972,991'Systems and methods for exposing processor topology for virtual machines'20158,909,946'Efficient power management of a system with virtual machines'20148,856,228'System and method for comparison of physical entity attribute effects on physical environments through in part social networking service input'20148,694,712'Reduction of operational costs of virtual TLBs'20148,671,405'Virtual machine crash file generation techniques'20148,621,458'Systems and methods for exposing processor topology for virtual machines'20138,615,643'Operational efficiency of virtual TLBs'20138,612,633'Virtual machine fast emulation assist'20138,549,513'Model-based virtual system provisioning'20138,533,709'Changing frequency of a virtual programmable interrupt timer in virtual machines to control virtual time'20138,504,703'Systems and methods for instruction sequence compounding in a virtual machine environment'20138,271,976'Systems and methods for initializing multiple virtual processors within a single virtual machine'20128,244,559'Cloud computing resource broker'20127,987,497'Systems and methods for data encryption using plugins within virtual systems and subsystems'20117,966,169'Allocation of processor resources in an emulated computing environment'20117,913,009'Monitored notification facility for reducing inter-process/inter-partition interrupts'20117,890,951'Model-based provisioning of test environments'20117,788,464'Scalability of virtual TLBs for multi-processor virtual machines'20107,761,638'Dynamic creation of low-level interfaces'20107,689,676'Model-based policy application'20107,689,747'Systems and methods for an augmented interrupt controller and synthetic interrupt sources'20107,685,635'Systems and methods for multi-level intercept processing in a virtual machine environment'20107,657,888'Method for forking or migrating a virtual machine'20107,650,482'Enhanced shadow page table algorithms'20107,580,826'Systems and methods for development of emulated devices in a virtual machine environment'20097,533,207'Optimized interrupt delivery in a virtualized environment'20097,434,003'Efficient operating system operation on a hypervisor'20087,428,626'Method and system for a second level address translation in a virtual machine environment'20087,383,405'Systems and methods for voluntary migration of a virtual machine between hosts with common storage connectivity'20087,373,446'Method and system for dynamically patching an operating system\'s interrupt mechanism'20087,363,463'Method and system for caching address translations from multiple address spaces in virtual machines'20087,313,512'Software license enforcement mechanism for an emulated computing environment'20077,313,793'Method for forking or migrating a virtual machine'20077,299,337'Enhanced shadow page table algorithms'20077,260,702'Systems and methods for running a legacy 32-bit x86 virtual machine on a 64-bit x86 processor'20077,136,800'Allocation of processor resources in an emulated computing environment'2006

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2006–2015Patents assigned to MICROSOFT CORP (34)· patent assignee history
2006–2018Based in Kirkland, WA, US· patent location history
2007–2015Patents assigned to VEGA RENE ANTONIO (13)· patent assignee history
2007–2014Patents assigned to TRAUT ERIC P (5)· patent assignee history
2007–2014Patents assigned to HENDEL MATTHEW D (4)· patent assignee history
2007–2020Based in Scotts Valley, CA, US· patent location history
2014Based in Redmond, WA, US· patent location history
2015–2020Patents assigned to MICROSOFT TECHNOLOGY LICENSING LLC (15)· patent assignee history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
MICROSOFT CORP342006–2015
MICROSOFT TECHNOLOGY LICENSING LLC152015–2020
VEGA RENE ANTONIOself132007–2015
TRAUT ERIC P52007–2014
HENDEL MATTHEW D42007–2014
Locations
LocationPatentsSpan
Kirkland, Washington, US392006–2018
Scotts Valley, California, US112007–2020
Redmond, Washington, US12014