Felix Geller

Follow

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Memory model for functional verification of multi-processor systems
- Patent number 7,877,659
- Issue date Jan 25, 2011
- International Business Machines Corporation
- Felix Geller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conditional CSP solving using constraint propagation
- Patent number 7,333,968
- Issue date Feb 19, 2008
- International Business Machines Corporation
- Felix Geller
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Detecting Inconsistencies Among System Models
- Publication number 20080126070
- Publication date May 29, 2008
- Shady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Memory Model for Functional Verification of Multi-Processor Systems
- Publication number 20080115027
- Publication date May 15, 2008
- Felix Geller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Conditional CSP solving using constraint propagation
- Publication number 20070100781
- Publication date May 3, 2007
- International Business Machines Corporation
- Felix Geller
- G06 - COMPUTING CALCULATING COUNTING