Ralf Winkelmann

Person

Boeblingen, DE

People

Patents Grantslast 30 patents

Information Patent Grant
Testing a data coherency algorithm
- Patent number 11,099,919
- Issue date Aug 24, 2021
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generation of an integrated circuit design
- Patent number 10,678,974
- Issue date Jun 9, 2020
- International Business Machines Corporation
- Carsten Greiner
- G01 - MEASURING TESTING
Information Patent Grant
Verifying a graph-based coherency verification tool
- Patent number 10,635,555
- Issue date Apr 28, 2020
- International Business Machines Corporation
- Thomas P. Grosser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generation of an integrated circuit design
- Patent number 10,572,617
- Issue date Feb 25, 2020
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing a data coherency algorithm
- Patent number 10,558,510
- Issue date Feb 11, 2020
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying a graph-based coherency verification tool
- Patent number 10,282,265
- Issue date May 7, 2019
- International Business Machines Corporation
- Thomas P. Grosser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing a data coherency algorithm
- Patent number 9,959,155
- Issue date May 1, 2018
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generation of an integrated circuit design
- Patent number 9,934,343
- Issue date Apr 3, 2018
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generation of an integrated circuit design
- Patent number 9,928,321
- Issue date Mar 27, 2018
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing a data coherency algorithm
- Patent number 9,928,127
- Issue date Mar 27, 2018
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data caching method
- Patent number 9,075,732
- Issue date Jul 7, 2015
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data caching method
- Patent number 8,856,444
- Issue date Oct 7, 2014
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data caching method
- Patent number 8,751,749
- Issue date Jun 10, 2014
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Creating randomly ordered fields while maintaining the temporal ord...
- Patent number 8,589,735
- Issue date Nov 19, 2013
- International Business Machines Corporation
- Clinton E. Bubb
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Handling corrupted background data in an out of order execution env...
- Patent number 8,495,452
- Issue date Jul 23, 2013
- International Business Machines Corporation
- Michael Fee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of logic circuit designs using dynamic clock gating
- Patent number 8,302,043
- Issue date Oct 30, 2012
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method to verify an implemented coherency algorithm of a multi proc...
- Patent number 8,108,197
- Issue date Jan 31, 2012
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling an unreliable data transfer in a data channel
- Patent number 8,015,451
- Issue date Sep 6, 2011
- International Business Machines Corporation
- Christian Habermann
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
TESTING A DATA COHERENCY ALGORITHM
- Publication number 20200142767
- Publication date May 7, 2020
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING A DATA COHERENCY ALGORITHM
- Publication number 20180136998
- Publication date May 17, 2018
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING A GRAPH-BASED COHERENCY VERIFICATION TOOL
- Publication number 20180129578
- Publication date May 10, 2018
- International Business Machines Corporation
- Thomas P. GROSSER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN
- Publication number 20180046742
- Publication date Feb 15, 2018
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN
- Publication number 20180046743
- Publication date Feb 15, 2018
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN
- Publication number 20170344684
- Publication date Nov 30, 2017
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN
- Publication number 20170344679
- Publication date Nov 30, 2017
- International Business Machines Corporation
- Carsten Greiner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING A DATA COHERENCY ALGORITHM
- Publication number 20170220439
- Publication date Aug 3, 2017
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING A DATA COHERENCY ALGORITHM
- Publication number 20170220437
- Publication date Aug 3, 2017
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING A GRAPH-BASED COHERENCY VERIFICATION TOOL
- Publication number 20160132417
- Publication date May 12, 2016
- International Business Machines Corporation
- Thomas P. GROSSER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CREATING RANDOMLY ORDERED FIELDS WHILE MAINTAINING THE TEMPORAL ORD...
- Publication number 20120297250
- Publication date Nov 22, 2012
- International Business Machines Corporation
- Clinton E. Bubb
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA CACHING METHOD
- Publication number 20120215983
- Publication date Aug 23, 2012
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HANDLING CORRUPTED BACKGROUND DATA IN AN OUT OF ORDER EXECUTION ENV...
- Publication number 20120210188
- Publication date Aug 16, 2012
- International Business Machines Corporation
- Michael Fee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA CACHING METHOD
- Publication number 20110307666
- Publication date Dec 15, 2011
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, System, Computer Program Product, and Data Processing Progr...
- Publication number 20110066988
- Publication date Mar 17, 2011
- International Business Machines Corporation
- Christian Habermann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD TO VERIFY AN IMPLEMENTED COHERENCY ALGORITHM OF A MULTI PROC...
- Publication number 20100146210
- Publication date Jun 10, 2010
- International Business Machines Corporation
- CHRISTIAN HABERMANN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and an Apparatus for Controlling an Unreliable Data Transfer...
- Publication number 20090193308
- Publication date Jul 30, 2009
- International Business Machines Corporation
- Christian Habermann
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Ralf Winkelmann

Person

Patents Grantslast 30 patents

Testing a data coherency algorithm

System and method for generation of an integrated circuit design

Verifying a graph-based coherency verification tool

System and method for generation of an integrated circuit design

Testing a data coherency algorithm

Verifying a graph-based coherency verification tool

Testing a data coherency algorithm

System and method for generation of an integrated circuit design

System and method for generation of an integrated circuit design

Testing a data coherency algorithm

Data caching method

Data caching method

Data caching method

Creating randomly ordered fields while maintaining the temporal ord...

Handling corrupted background data in an out of order execution env...

Verification of logic circuit designs using dynamic clock gating

Method to verify an implemented coherency algorithm of a multi proc...

Controlling an unreliable data transfer in a data channel

Patents Applicationslast 30 patents

TESTING A DATA COHERENCY ALGORITHM

TESTING A DATA COHERENCY ALGORITHM

VERIFYING A GRAPH-BASED COHERENCY VERIFICATION TOOL

SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN

SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN

SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN

SYSTEM AND METHOD FOR GENERATION OF AN INTEGRATED CIRCUIT DESIGN

TESTING A DATA COHERENCY ALGORITHM

TESTING A DATA COHERENCY ALGORITHM

VERIFYING A GRAPH-BASED COHERENCY VERIFICATION TOOL

CREATING RANDOMLY ORDERED FIELDS WHILE MAINTAINING THE TEMPORAL ORD...

DATA CACHING METHOD

HANDLING CORRUPTED BACKGROUND DATA IN AN OUT OF ORDER EXECUTION ENV...

DATA CACHING METHOD

Method, System, Computer Program Product, and Data Processing Progr...

METHOD TO VERIFY AN IMPLEMENTED COHERENCY ALGORITHM OF A MULTI PROC...

Method and an Apparatus for Controlling an Unreliable Data Transfer...