Patent | Date |
---|
Testing a guarded storage facility Grant 10,289,529 - Duale , et al. | 2019-05-14 |
Testing A Guarded Storage Facility App 20180210816 - Duale; Ali Y. ;   et al. | 2018-07-26 |
Testing hybrid instruction architecture Grant 9,811,339 - Duale , et al. November 7, 2 | 2017-11-07 |
Verifying selective purging of entries from translation look-aside buffers Grant 9,798,597 - Duale , et al. October 24, 2 | 2017-10-24 |
Testing hybrid instruction architecture Grant 9,690,680 - Duale , et al. June 27, 2 | 2017-06-27 |
System level testing of entropy encoding Grant 9,673,836 - Duale , et al. June 6, 2 | 2017-06-06 |
System level architecture verification for transaction execution in a multi-processing environment Grant 9,251,022 - Duale , et al. February 2, 2 | 2016-02-02 |
System level architecture verification of a transactional execution Grant 9,218,272 - Duale , et al. December 22, 2 | 2015-12-22 |
System level architecture verification for transaction execution in a multi-processing environment Grant 9,170,903 - Duale , et al. October 27, 2 | 2015-10-27 |
System Level Architecture Verification For Transaction Execution In A Multi-processing Environment App 20150019846 - Duale; Ali Y. ;   et al. | 2015-01-15 |
System Level Architecture Verification For Transaction Execution In A Multi-processing Environment App 20140250329 - Duale; Ali Y. ;   et al. | 2014-09-04 |
System Level Architecture Verification Of A Transactional Execution App 20140250330 - Duale; Ali Y. ;   et al. | 2014-09-04 |
Virtual machine testing Grant 8,479,172 - Duale , et al. July 2, 2 | 2013-07-02 |
Virtual Machine Testing App 20120131560 - Duale; Ali Y. ;   et al. | 2012-05-24 |
Storage medium for estimating and improving test case generation Grant 7,917,326 - Bohizic , et al. March 29, 2 | 2011-03-29 |
System for estimating and improving test case generation Grant 7,904,270 - Bohizic , et al. March 8, 2 | 2011-03-08 |
Method, system, and computer program product to generate test instruction streams while guaranteeing loop termination Grant 7,877,742 - Duale , et al. January 25, 2 | 2011-01-25 |
Storage Medium For Estimating And Improving Test Case Generation App 20080141080 - Bohizic; Theodore J. ;   et al. | 2008-06-12 |
System For Estimating And Improving Test Case Generation App 20080141084 - Bohizic; Theodore J. ;   et al. | 2008-06-12 |
Method, system, and storage medium for estimating and improving test case generation Grant 7,356,436 - Bohizic , et al. April 8, 2 | 2008-04-08 |
Method, system, and computer program product to generate test instruction streams while guaranteeing loop termination App 20060230392 - Duale; Ali Y. ;   et al. | 2006-10-12 |
Method, system, and storage medium for estimating and improving test case generation App 20060174174 - Bohizic; Theodore J. ;   et al. | 2006-08-03 |
Method and system for testing the validity of shared data in a multiprocessing system Grant 6,922,658 - Bohizic , et al. July 26, 2 | 2005-07-26 |
Method and system for testing the validity of shared data in a multiprocessing system App 20040199363 - Bohizic, Theodore J. ;   et al. | 2004-10-07 |
Method, system, and computer program product to generate test instruction streams while guaranteeing loop termination App 20040003210 - Duale, Ali Y. ;   et al. | 2004-01-01 |
System and method for verifying superscalar computer architectures App 20030188044 - Bohizic, Theodore J. ;   et al. | 2003-10-02 |