Michael Kuperstein

Follow

Person

Rishon Le Tzion, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic verification and synthesis for weak memory models
- Patent number 9,110,658
- Issue date Aug 18, 2015
- International Business Machines Corporation
- Michael Kuperstein
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Automatic Verification and Synthesis for Weak Memory Models
- Publication number 20120278792
- Publication date Nov 1, 2012
- International Business Machines Corporation
- Michael Kuperstein
- G06 - COMPUTING CALCULATING COUNTING