| 12107674 |
Multi tenancy for single tenancy applications |
Sudarshan Yadav, Arvind Kandhare, Sanjay Malpani, Ravi K. Balachandran, Adam Herscher +2 more |
2024-10-01 |
| 11089088 |
Multi tenancy for single tenancy applications |
Sudarshan Yadav, Arvind Kandhare, Sanjay Malpani, Ravi K. Balachandran, Adam Herscher +2 more |
2021-08-10 |
| 10838775 |
Load balancing by endpoints |
Sudarshan Yadav, Arvind Kandhare, Sanjay Malpani, Ranjana Rathinam, Jay Thiagarajan |
2020-11-17 |
| 9807153 |
Managing user state of cloud desktops |
Sudarshan Yadav, Arvind Kandhare, Jimmy Narang, Ranjana Rathinam, Srinivas Duvvuri +1 more |
2017-10-31 |
| 9361080 |
Multi tenant access to applications |
Sudarshan Yadav, Arvind Kandhare, Sanjay Malpani, Ravi K. Balachandran, Adam Herscher +2 more |
2016-06-07 |
| 8856917 |
Single sign-on for remote desktops |
Sudarshan Yadav, Arvind Kandhare, Shivesh Ranjan, Jimmy Narang |
2014-10-07 |
| 8812687 |
Managing user state of cloud desktops |
Sudarshan Yadav, Arvind Kandhare, Jimmy Narang, Ranjana Rathinam, Srinivas Duvvuri +1 more |
2014-08-19 |
| 8635152 |
Multi tenancy for single tenancy applications |
Sudarshan Yadav, Arvind Kandhare, Sanjay Malpani, Ravi K. Balachandran, Adam Herscher +2 more |
2014-01-21 |
| 8589481 |
Multi tenant access to applications |
Sudarshan Yadav, Arvind Kandhare, Sanjay Malpani, Ravi K. Balachandran, Adam Herscher +2 more |
2013-11-19 |
| 8438635 |
Single sign-on for remote desktops |
Sudarshan Yadav, Arvind Kandhare, Shivesh Ranjan, Jimmy Narang |
2013-05-07 |
| 7703075 |
Programmable annotation inference |
Zhe Yang, Brian Hackett |
2010-04-20 |
| 7584458 |
Source code annotation language |
Manuel A. Fahndrich, Ramanathan Venkatapathy, Daniel Weise, William Hunter Hudson, Sameet Agarwal +4 more |
2009-09-01 |
| 7500232 |
Methods for enhancing flow analysis |
Manuel A. Fahndrich, Jakob Rehof |
2009-03-03 |
| 7496894 |
Methods for enhancing pointer analyses |
— |
2009-02-24 |
| 7089537 |
System and method for performing path-sensitive value flow analysis on a program |
Stephen R. Adams, Nurit Dor |
2006-08-08 |
| 7003760 |
Method for enhancing pointer analyses |
— |
2006-02-21 |
| 6938186 |
System and method for performing a path-sensitive verification on a program |
Mark C. Seigle, Sorin L. Lerner |
2005-08-30 |
| 6813761 |
Methods for enhancing flow analysis |
Manuel A. Fahndrich, Jakob Rehof |
2004-11-02 |
