| 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 |
