Johannes Kinder

Follow

Person

Darmstadt, DE

People

Patents Grantslast 30 patents

Information Patent Grant
Memory safety of floating-point computations
- Patent number 8,782,625
- Issue date Jul 15, 2014
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
MEMORY SAFETY OF FLOATING-POINT COMPUTATIONS
- Publication number 20110314251
- Publication date Dec 22, 2011
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING