| 9298516 |
Verification of dynamic logical partitioning |
Manoj Dusanapudi |
2016-03-29 |
| 9286133 |
Verification of dynamic logical partitioning |
Manoj Dusanapudi |
2016-03-15 |
| 9287005 |
Detecting missing write to cache/memory operations |
Bhavesh D. Budhabhatti, Manoj Dusanapudi, Sairam Kamaraju, Subrat K. Panda |
2016-03-15 |
| 9158640 |
Tightly-coupled context-aware irritator thread creation for verification of microprocessors |
Sangram Alapati, Prathiba Kumar, Satish K. Sadasivam |
2015-10-13 |
| 8930760 |
Validating cache coherency protocol within a processor |
Sangram Alapati, Prathiba Kumar, Satish K. Sadasivam |
2015-01-06 |
| 8904403 |
Dynamic optimization of thread assignments for application workloads in parallel computing |
Kumar Prathiba, Rajan Ravindran, Satish K. Sadasivam |
2014-12-02 |
| 8892949 |
Effective validation of execution units within a processor |
Sangram Alapati, Prathiba Kumar, Satish K. Sadasivam |
2014-11-18 |
| 8850266 |
Effective validation of execution units within a processor |
Sangram Alapati, Prathiba Kumar, Satish K. Sadasivam |
2014-09-30 |
| 8667255 |
Measuring runtime coverage of architectural events of a microprocessor |
Sangram Alapati, Jayakumar N. Sankarannair, Prathiba Kumar, Satish K. Sadasivam |
2014-03-04 |
| 8607243 |
Dynamic operating system optimization in parallel computing |
Prathiba Kumar, Rajan Ravindran, Satish K. Sadasivam |
2013-12-10 |
