| Patent | Date |
|---|
Systems, devices, and methods for content indexing and querying in a search system
Grant 11,341,119 - Bortnikov , et al. May 24, 2 | 2022-05-24 |
Automated Materialized View Table Generation And Maintenance
App 20220147514 - Kapchits; Boris ; et al. | 2022-05-12 |
Method For Approximate K-nearest-neighbor Search On Parallel Hardware Accelerators
App 20220147878 - Bortnikov; Edward ; et al. | 2022-05-12 |
Scalable conflict detection in transaction management
Grant 11,321,299 - Bortnikov , et al. May 3, 2 | 2022-05-03 |
Method for approximate k-nearest-neighbor search on parallel hardware accelerators
Grant 11,244,245 - Bortnikov , et al. February 8, 2 | 2022-02-08 |
Management of transactions in a distributed transaction system
Grant 10,965,688 - Bortnikov , et al. March 30, 2 | 2021-03-30 |
Systems, Devices, And Methods For Content Indexing And Querying In A Search System
App 20200372011 - BORTNIKOV; Edward ; et al. | 2020-11-26 |
Systems, devices, and methods for content indexing and querying in a search system
Grant 10,747,750 - Bortnikov , et al. A | 2020-08-18 |
Selective Streaming Of Video Segments Based On Buffer Data And Download Rate Range
App 20200204842 - KAPCHITS; Boris ; et al. | 2020-06-25 |
Method For Approximate K-nearest-neighbor Search On Parallel Hardware Accelerators
App 20200118033 - Bortnikov; Edward ; et al. | 2020-04-16 |
Method and system for committing transactions in a semi-distributed manner
Grant 10,565,184 - Shacham , et al. Feb | 2020-02-18 |
Method for approximate k-nearest-neighbor search on parallel hardware accelerators
Grant 10,510,017 - Bortnikov , et al. Dec | 2019-12-17 |
Systems, Devices, And Methods For Content Indexing And Querying In A Search System
App 20190121882 - BORTNIKOV; Edward ; et al. | 2019-04-25 |
Management Of Transactions In A Distributed Transaction System
App 20180219870 - Bortnikov; Edward ; et al. | 2018-08-02 |
Management of transactions in a distributed transaction system
Grant 9,979,734 - Bortnikov , et al. May 22, 2 | 2018-05-22 |
Method And System For Committing Transactions In A Semi-distributed Manner
App 20180121487 - Shacham; Ohad ; et al. | 2018-05-03 |
Scalable Conflict Detection In Transaction Management
App 20170220617 - Bortnikov; Edward ; et al. | 2017-08-03 |
Method For Approximate K-nearest-neighbor Search On Parallel Hardware Accelerators
App 20170140012 - Bortnikov; Edward ; et al. | 2017-05-18 |
Template clauses based SAT techniques
Grant 9,646,252 - Fuhrmann , et al. May 9, 2 | 2017-05-09 |
Management Of Transactions In A Distributed Transaction System
App 20160308882 - Bortnikov; Edward ; et al. | 2016-10-20 |
Satisfiability (SAT) based bounded model checkers
Grant 8,489,380 - Geist , et al. July 16, 2 | 2013-07-16 |
Template Clauses Based Sat Techniques
App 20130159241 - Fuhrmann; Oded ; et al. | 2013-06-20 |
Soft error verification in hardware designs
Grant 8,453,082 - Keidar-Barner , et al. May 28, 2 | 2013-05-28 |
Method, apparatus and product for SAT solving using templates clauses
Grant 8,407,175 - Fuhrmann , et al. March 26, 2 | 2013-03-26 |
Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics
Grant 8,374,978 - Shacham , et al. February 12, 2 | 2013-02-12 |
Verification techniques for liveness checking of logic designs
Grant 8,352,894 - Baumgartner , et al. January 8, 2 | 2013-01-08 |
Verification Techniques For Liveness Checking Of Logic Designs
App 20120216159 - Baumgartner; Jason R. ; et al. | 2012-08-23 |
Utilizing an unSAT proof for model checking
Grant 8,161,433 - Fuhrmann , et al. April 17, 2 | 2012-04-17 |
Soft Error Verification In Hardware Designs
App 20120060064 - Keidar-Barner; Sharon ; et al. | 2012-03-08 |
Satisfiability (SAT) based bounded model checkers
Grant 8,108,195 - Geist , et al. January 31, 2 | 2012-01-31 |
Context-Sensitive Dynamic Bloat Detection System
App 20110295789 - Shacham; Ohad ; et al. | 2011-12-01 |
Satisfiability (SAT) Based Bounded Model Checkers
App 20110213605 - Geist; Daniel ; et al. | 2011-09-01 |
Template Clauses Based Sat Techniques
App 20110178970 - Fuhrmann; Oded ; et al. | 2011-07-21 |
Utilizing An Unsat Proof For Model Checking
App 20110010139 - Fuhrmann; Oded ; et al. | 2011-01-13 |
Satisfiability (sat) Based Bounded Model Checkers
App 20100324881 - Geist; Daniel ; et al. | 2010-12-23 |
Satisfiability (SAT) based bounded model checkers
Grant 7,835,898 - Geist , et al. November 16, 2 | 2010-11-16 |
Logic Design Verification Techniques for Liveness Checking
App 20100218150 - Baumgartner; Jason R. ; et al. | 2010-08-26 |
Device, system and method for formal verification
Grant 7,725,851 - Eisner , et al. May 25, 2 | 2010-05-25 |
Adaptive Application Of Sat Solving Techniques
App 20090307204 - Shacham; Ohad ; et al. | 2009-12-10 |
Exploiting Double Resolutions For Proof Optimizations
App 20090248601 - Bar-Ilan; Omer ; et al. | 2009-10-01 |
Resolve trace minimization
Grant 7,562,055 - Shacham July 14, 2 | 2009-07-14 |
Applying CNF simplification techniques for SAT-based abstraction refinement
Grant 7,519,931 - Shacham , et al. April 14, 2 | 2009-04-14 |
Device, System and Method for Formal Verification
App 20090064064 - Eisner; Cynthia Rae ; et al. | 2009-03-05 |
Clause and Proof Tightening
App 20090024557 - Fuhrmann; Oded ; et al. | 2009-01-22 |
Applying CNF simplification techniques for SAT-based abstraction refinement
Grant 7,441,216 - Shacham , et al. October 21, 2 | 2008-10-21 |
Adaptive application of SAT solving techniques
Grant 7,401,305 - Shacham , et al. July 15, 2 | 2008-07-15 |
Resolve Trace Minimization
App 20080082471 - Shacham; Ohad | 2008-04-03 |
Satisfiability (SAT) based bounded model checkers
App 20070118340 - Geist; Daniel ; et al. | 2007-05-24 |
Adaptive application of SAT solving techniques
App 20070011629 - Shacham; Ohad ; et al. | 2007-01-11 |
| 