Issued Patents All Time
Showing 1–20 of 20 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12190140 | Scheduling workloads in a container orchestrator of a virtualized computer system | Pranshu Jain, Rajesh Venkatasubramanian, Sahan Gamage | 2025-01-07 |
| 11930093 | Inventory management for data transport connections in virtualized environment | Varun S. Lingaraju, Lei Lu, Pradeep Sagar RAMACHANDRA | 2024-03-12 |
| 11900159 | Method for repointing resources between hosts | Manoj Krishnan | 2024-02-13 |
| 11847478 | Real-time feedback associated with configuring virtual infrastructure objects using tags | Biliana Gueorguieva Gelkova, Janani Subhashini Umamaheswaran, Pamel Shinh, Leda Lyudmilova Grigorova-Borisova, Sruthi Cherukuri | 2023-12-19 |
| 11842210 | Systems, methods, and apparatus for high availability application migration in a virtualized environment | Ivaylo Radoslavov Radev, Deepak Babarjung, Rajesh Venkatasubramanian, Sahan Gamage, Tomo Vladimirov Simeonov | 2023-12-12 |
| 11762681 | Dynamic configuration of virtual objects | Avinash Goud, Aniket Avinash Sakhardande, Praveen Vegulla, Rajesh Venkatasubramanian, Keith Farkas +1 more | 2023-09-19 |
| 11726816 | Scheduling workloads on a common set of resources by multiple schedulers operating independently | Rajesh Venkatasubramanian, Sahan Gamage, Pranshu Jain | 2023-08-15 |
| 11579909 | Honoring resource scheduler constraints during maintenances | Gabriel Tarasuk-Levin, Manoj Krishnan | 2023-02-14 |
| 11537474 | Recovery of a software-defined data center from persistent entity stores for virtual machines | Alkesh Shah, Cheng Cheng, Leonid Livshin, Konstantinos Roussos | 2022-12-27 |
| 11354197 | Recovery of a software-defined data center | Alkesh Shah, Cheng Cheng, Leonid Livshin, Konstantinos Roussos | 2022-06-07 |
| 11182220 | Proactive high availability in a virtualized computer system | Manoj Krishnan, Anil Kapur, Keith Farkas, Anne Holler | 2021-11-23 |
| 11144354 | Method for repointing resources between hosts | Manoj Krishnan | 2021-10-12 |
| 10990450 | Automatic cluster consolidation for efficient resource management | Sabareesh Subramaniam, Fei Guo, Sai Inabattini | 2021-04-27 |
| 10430248 | Proactive high availability in a virtualized computer system | Manoj Krishnan, Anil Kapur, Keith Farkas, Anne Holler | 2019-10-01 |
| 9992024 | Establishing a chain of trust within a virtual machine | Zhexuan Song, Ryusuke Masuoka | 2018-06-05 |
| 9396095 | Software verification | Hiroaki Yoshida | 2016-07-19 |
| 9081892 | Software verification | Hiroaki Yoshida | 2015-07-14 |
| 9058427 | Iterative generation of symbolic test drivers for object-oriented languages | Indradeep Ghosh | 2015-06-16 |
| 9021449 | Software regression testing using symbolic execution | Mukul R. Prasad, Indradeep Ghosh | 2015-04-28 |
| 8997064 | Symbolic testing of software using concrete software execution | Mukul R. Prasad | 2015-03-31 |