Dennis W. Wittig

Person

Poughkeepsie, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Compare point detection in multi-threaded computing environments
- Patent number 10,936,457
- Issue date Mar 2, 2021
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reduction of pseudo-random test case generation overhead
- Patent number 10,901,878
- Issue date Jan 26, 2021
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Flexible and in-line register comparison for bug analysis
- Patent number 10,776,249
- Issue date Sep 15, 2020
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System level testing of multi-threading functionality including bui...
- Patent number 10,719,420
- Issue date Jul 21, 2020
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System level testing of multi-threading functionality including bui...
- Patent number 10,713,139
- Issue date Jul 14, 2020
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compare point detection in multi-threaded computing environments
- Patent number 10,534,679
- Issue date Jan 14, 2020
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying proper operation of the instruction execution protection...
- Patent number 10,521,594
- Issue date Dec 31, 2019
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing a guarded storage facility
- Patent number 10,289,529
- Issue date May 14, 2019
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying proper operation of the instruction execution protection...
- Patent number 10,262,144
- Issue date Apr 16, 2019
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compare point detection in multi-threaded computing environments
- Patent number 9,971,662
- Issue date May 15, 2018
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing hybrid instruction architecture
- Patent number 9,811,339
- Issue date Nov 7, 2017
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying selective purging of entries from translation look-aside...
- Patent number 9,798,597
- Issue date Oct 24, 2017
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing hybrid instruction architecture
- Patent number 9,690,680
- Issue date Jun 27, 2017
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System level testing of entropy encoding
- Patent number 9,673,836
- Issue date Jun 6, 2017
- International Business Machines Corporation
- Ali Y. Duale
- H03 - BASIC ELECTRONIC CIRCUITRY
Information Patent Grant
Compare point detection in multi-threaded computing environments
- Patent number 9,514,017
- Issue date Dec 6, 2016
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compare point detection in multi-threaded computing environments
- Patent number 9,513,956
- Issue date Dec 6, 2016
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System level architecture verification for transaction execution in...
- Patent number 9,251,022
- Issue date Feb 2, 2016
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System level architecture verification of a transactional execution
- Patent number 9,218,272
- Issue date Dec 22, 2015
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System level architecture verification for transaction execution in...
- Patent number 9,170,903
- Issue date Oct 27, 2015
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing of run-time instrumentation
- Patent number 9,111,034
- Issue date Aug 18, 2015
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual machine testing
- Patent number 8,479,172
- Issue date Jul 2, 2013
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Storage medium for estimating and improving test case generation
- Patent number 7,917,326
- Issue date Mar 29, 2011
- International Business Machines Corporation
- Theodore J. Bohizic
- G01 - MEASURING TESTING
Information Patent Grant
System for estimating and improving test case generation
- Patent number 7,904,270
- Issue date Mar 8, 2011
- International Business Machines Corporation
- Theodore J. Bohizic
- G01 - MEASURING TESTING
Information Patent Grant
Method, system, and computer program product to generate test instr...
- Patent number 7,877,742
- Issue date Jan 25, 2011
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system, and storage medium for estimating and improving tes...
- Patent number 7,356,436
- Issue date Apr 8, 2008
- International Business Machines Corporation
- Theodore J. Bohizic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for testing the validity of shared data in a mult...
- Patent number 6,922,658
- Issue date Jul 26, 2005
- International Business Machines Corporation
- Theodore J. Bohizic
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
REDUCTION OF PSEUDO-RANDOM TEST CASE GENERATION OVERHEAD
- Publication number 20200201747
- Publication date Jun 25, 2020
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FLEXIBLE AND IN-LINE REGISTER COMPARISON FOR BUG ANALYSIS
- Publication number 20200012586
- Publication date Jan 9, 2020
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS
- Publication number 20190361782
- Publication date Nov 28, 2019
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING PROPER OPERATION OF THE INSTRUCTION EXECUTION PROTECTION...
- Publication number 20190171824
- Publication date Jun 6, 2019
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS
- Publication number 20180232291
- Publication date Aug 16, 2018
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING A GUARDED STORAGE FACILITY
- Publication number 20180210816
- Publication date Jul 26, 2018
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING PROPER OPERATION OF THE INSTRUCTION EXECUTION PROTECTION...
- Publication number 20180173880
- Publication date Jun 21, 2018
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS
- Publication number 20170083420
- Publication date Mar 23, 2017
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM LEVEL TESTING OF MULTI-THREADING FUNCTIONALITY
- Publication number 20160232005
- Publication date Aug 11, 2016
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS
- Publication number 20160232068
- Publication date Aug 11, 2016
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM LEVEL TESTING OF MULTI-THREADING FUNCTIONALITY
- Publication number 20160232071
- Publication date Aug 11, 2016
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS
- Publication number 20160232029
- Publication date Aug 11, 2016
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM LEVEL ARCHITECTURE VERIFICATION FOR TRANSACTION EXECUTION IN...
- Publication number 20150019846
- Publication date Jan 15, 2015
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM LEVEL ARCHITECTURE VERIFICATION FOR TRANSACTION EXECUTION IN...
- Publication number 20140250329
- Publication date Sep 4, 2014
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM LEVEL ARCHITECTURE VERIFICATION OF A TRANSACTIONAL EXECUTION
- Publication number 20140250330
- Publication date Sep 4, 2014
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING OF RUN-TIME INSTRUMENTATION
- Publication number 20140245074
- Publication date Aug 28, 2014
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL MACHINE TESTING
- Publication number 20120131560
- Publication date May 24, 2012
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STORAGE MEDIUM FOR ESTIMATING AND IMPROVING TEST CASE GENERATION
- Publication number 20080141080
- Publication date Jun 12, 2008
- International Business Machines Corporation
- Theodore J. Bohizic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM FOR ESTIMATING AND IMPROVING TEST CASE GENERATION
- Publication number 20080141084
- Publication date Jun 12, 2008
- International Business Machines Corporation
- Theodore J. Bohizic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, system, and computer program product to generate test instr...
- Publication number 20060230392
- Publication date Oct 12, 2006
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, system, and storage medium for estimating and improving tes...
- Publication number 20060174174
- Publication date Aug 3, 2006
- International Business Machines Corporation
- Theodore J. Bohizic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for testing the validity of shared data in a mult...
- Publication number 20040199363
- Publication date Oct 7, 2004
- International Business Machines Corporation
- Theodore J. Bohizic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, system, and computer program product to generate test instr...
- Publication number 20040003210
- Publication date Jan 1, 2004
- International Business Machines Corporation
- Ali Y. Duale
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for verifying superscalar computer architectures
- Publication number 20030188044
- Publication date Oct 2, 2003
- International Business Machines Corporation
- Theodore J. Bohizic
- G06 - COMPUTING CALCULATING COUNTING

Dennis W. Wittig

Person

Patents Grantslast 30 patents

Compare point detection in multi-threaded computing environments

Reduction of pseudo-random test case generation overhead

Flexible and in-line register comparison for bug analysis

System level testing of multi-threading functionality including bui...

System level testing of multi-threading functionality including bui...

Compare point detection in multi-threaded computing environments

Verifying proper operation of the instruction execution protection...

Testing a guarded storage facility

Verifying proper operation of the instruction execution protection...

Compare point detection in multi-threaded computing environments

Testing hybrid instruction architecture

Verifying selective purging of entries from translation look-aside...

Testing hybrid instruction architecture

System level testing of entropy encoding

Compare point detection in multi-threaded computing environments

Compare point detection in multi-threaded computing environments

System level architecture verification for transaction execution in...

System level architecture verification of a transactional execution

System level architecture verification for transaction execution in...

Testing of run-time instrumentation

Virtual machine testing

Storage medium for estimating and improving test case generation

System for estimating and improving test case generation

Method, system, and computer program product to generate test instr...

Method, system, and storage medium for estimating and improving tes...

Method and system for testing the validity of shared data in a mult...

Patents Applicationslast 30 patents

REDUCTION OF PSEUDO-RANDOM TEST CASE GENERATION OVERHEAD

FLEXIBLE AND IN-LINE REGISTER COMPARISON FOR BUG ANALYSIS

COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS

VERIFYING PROPER OPERATION OF THE INSTRUCTION EXECUTION PROTECTION...

COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS

TESTING A GUARDED STORAGE FACILITY

VERIFYING PROPER OPERATION OF THE INSTRUCTION EXECUTION PROTECTION...

COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS

SYSTEM LEVEL TESTING OF MULTI-THREADING FUNCTIONALITY

COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS

SYSTEM LEVEL TESTING OF MULTI-THREADING FUNCTIONALITY

COMPARE POINT DETECTION IN MULTI-THREADED COMPUTING ENVIRONMENTS

SYSTEM LEVEL ARCHITECTURE VERIFICATION FOR TRANSACTION EXECUTION IN...

SYSTEM LEVEL ARCHITECTURE VERIFICATION FOR TRANSACTION EXECUTION IN...

SYSTEM LEVEL ARCHITECTURE VERIFICATION OF A TRANSACTIONAL EXECUTION

TESTING OF RUN-TIME INSTRUMENTATION

VIRTUAL MACHINE TESTING

STORAGE MEDIUM FOR ESTIMATING AND IMPROVING TEST CASE GENERATION

SYSTEM FOR ESTIMATING AND IMPROVING TEST CASE GENERATION

Method, system, and computer program product to generate test instr...

Method, system, and storage medium for estimating and improving tes...

Method and system for testing the validity of shared data in a mult...

Method, system, and computer program product to generate test instr...

System and method for verifying superscalar computer architectures