Issued Patents All Time
Showing 25 most recent of 26 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10936457 | Compare point detection in multi-threaded computing environments | Ali Y. Duale, Shailesh R. Gami | 2021-03-02 |
| 10901878 | Reduction of pseudo-random test case generation overhead | Ali Y. Duale | 2021-01-26 |
| 10776249 | Flexible and in-line register comparison for bug analysis | Ali Y. Duale | 2020-09-15 |
| 10719420 | System level testing of multi-threading functionality including building independent instruction streams while honoring architecturally imposed common fields and constraints | Ali Y. Duale, Shailesh R. Gami | 2020-07-21 |
| 10713139 | System level testing of multi-threading functionality including building independent instruction streams while honoring architecturally imposed common fields and constraints | Ali Y. Duale, Shailesh R. Gami | 2020-07-14 |
| 10534679 | Compare point detection in multi-threaded computing environments | Ali Y. Duale, Shailesh R. Gami | 2020-01-14 |
| 10521594 | Verifying proper operation of the instruction execution protection architecture | Ali Y. Duale, Shailesh R. Gami, John L. Weber | 2019-12-31 |
| 10289529 | Testing a guarded storage facility | Ali Y. Duale, Shailesh R. Gami, Mohammed Shammas | 2019-05-14 |
| 10262144 | Verifying proper operation of the instruction execution protection architecture | Ali Y. Duale, Shailesh R. Gami, John L. Weber | 2019-04-16 |
| 9971662 | Compare point detection in multi-threaded computing environments | Ali Y. Duale, Shailesh R. Gami | 2018-05-15 |
| 9811339 | Testing hybrid instruction architecture | Ali Y. Duale, Shailesh R. Gami | 2017-11-07 |
| 9798597 | Verifying selective purging of entries from translation look-aside buffers | Ali Y. Duale, Shailesh R. Gami, John L. Weber | 2017-10-24 |
| 9690680 | Testing hybrid instruction architecture | Ali Y. Duale, Shailesh R. Gami | 2017-06-27 |
| 9673836 | System level testing of entropy encoding | Ali Y. Duale, Shailesh R. Gami | 2017-06-06 |
| 9513956 | Compare point detection in multi-threaded computing environments | Ali Y. Duale, Shailesh R. Gami | 2016-12-06 |
| 9514017 | Compare point detection in multi-threaded computing environments | Ali Y. Duale, Shailesh R. Gami | 2016-12-06 |
| 9251022 | System level architecture verification for transaction execution in a multi-processing environment | Ali Y. Duale | 2016-02-02 |
| 9218272 | System level architecture verification of a transactional execution | Ali Y. Duale, Shailesh R. Gami | 2015-12-22 |
| 9170903 | System level architecture verification for transaction execution in a multi-processing environment | Ali Y. Duale | 2015-10-27 |
| 9111034 | Testing of run-time instrumentation | Ali Y. Duale, Shailesh R. Gami, Sandhya Venugopala | 2015-08-18 |
| 8479172 | Virtual machine testing | Ali Y. Duale, Shailesh R. Gami | 2013-07-02 |
| 7917326 | Storage medium for estimating and improving test case generation | Theodore J. Bohizic, Ali Y. Duale | 2011-03-29 |
| 7904270 | System for estimating and improving test case generation | Theodore J. Bohizic, Ali Y. Duale | 2011-03-08 |
| 7877742 | Method, system, and computer program product to generate test instruction streams while guaranteeing loop termination | Ali Y. Duale, Theodore J. Bohizic | 2011-01-25 |
| 7356436 | Method, system, and storage medium for estimating and improving test case generation | Theodore J. Bohizic, Ali Y. Duale | 2008-04-08 |