Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10740290 | Systems and methods for key-value stores | Brian Heilig, Brian Phillips, Adam Markey | 2020-08-11 |
| 9838242 | Flowlet-based processing with key/value store checkpointing | John W. Tully, Brian Heilig | 2017-12-05 |
| 9542231 | Efficient execution of parallel computer programs | Rishi Khan, Daniel Orozco | 2017-01-10 |
| 8365111 | Data driven logic simulation | Fei Chen | 2013-01-29 |
| 8341568 | Systems and methods for logic verification | Fei Chen | 2012-12-25 |
| 7934179 | Systems and methods for logic verification | Fei Chen | 2011-04-26 |
| 7631305 | Methods and products for processing loop nests | Hongbo Rong, Alban Douillet, Ramaswamy Govindarajan | 2009-12-08 |
| 7356454 | Method and apparatus for emulation of logic circuits | Hirofumi Sakane, Levent Yakay, Vishal Karna, Clement Leung | 2008-04-08 |