Issued Patents All Time
Showing 26–32 of 32 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8028291 | Method and computer program product for job selection and resource allocation of a massively parallel processor | Yaniv Altshuler, Tamar Domany, Oleg Goldshmidt, Edi Shmueli | 2011-09-27 |
| 7877659 | Memory model for functional verification of multi-processor systems | Felix Geller | 2011-01-25 |
| 7587376 | Reformulation of constraint satisfaction problems for stochastic search | Sivan Sabato | 2009-09-08 |
| 7562061 | Context-based failure reporting for a constraint satisfaction problem | Roy Emek, Itai Jaeger | 2009-07-14 |
| 7331007 | Harnessing machine learning to improve the success rate of stimuli generation | Shai Fine, Ari Freund, Itai Jaeger, Avi Ziv | 2008-02-12 |
| 7171393 | Solving constraint satisfaction problems using variable-range hopping | — | 2007-01-30 |
| 7007207 | Scheduling of transactions in system-level test program generation | Roy Emek | 2006-02-28 |