| 10810071 |
Systems and methods of detecting power bugs |
Yu Charlie Hu, Abhilash Jindal, Abhinav Pathak |
2020-10-20 |
| 10379925 |
Systems and methods of detecting power bugs |
Yu Charlie Hu, Abhilash Jindal, Abhinav Pathak |
2019-08-13 |
| 9501382 |
Systems and methods of detecting power bugs |
Yu Charlie Hu, Abhilash Jindal, Abhinav Pathak |
2016-11-22 |
| 6973646 |
Method for compiling program components in a mixed static and dynamic environment |
Rajesh Bordawekar, Manish Gupta, Mauricio J. Serrano |
2005-12-06 |
| 6530079 |
Method for optimizing locks in computer programs |
Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar |
2003-03-04 |
| 6381738 |
Method for optimizing creation and destruction of objects in computer programs |
Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar |
2002-04-30 |
| 6343375 |
Method for optimizing array bounds checks in programs |
Manish Gupta, Jose E. Moreira |
2002-01-29 |
