Thomas P. Grosser

Follow

Person

Tuebingen, DE

People

Patents Grantslast 30 patents

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
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
Sharing memory between guests by adapting a base address register t...
- Patent number 9,612,860
- Issue date Apr 4, 2017
- International Business Machines Corporation
- Utz Bacher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sharing memory between guests by adapting a base address register t...
- Patent number 9,606,827
- Issue date Mar 28, 2017
- International Business Machines Corporation
- Utz Bacher
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
SHARING MEMORY BETWEEN GUESTS
- Publication number 20160283258
- Publication date Sep 29, 2016
- International Business Machines Corporation
- Utz Bacher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SHARING MEMORY BETWEEN GUESTS
- Publication number 20160283260
- Publication date Sep 29, 2016
- International Business Machines Corporation
- Utz Bacher
- 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