Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9038037 | Automatically solving simultaneous type equations for type difference transformations that redesign code | — | 2015-05-19 |
| 8713515 | Automated synchronization of design features in disparate code components using type differencing | — | 2014-04-29 |
| 8327321 | Synthetic partitioning for imposing implementation design patterns onto logical architectures of computations | — | 2012-12-04 |
| 8225277 | Non-localized constraints for automated program generation | — | 2012-07-17 |
| 8060857 | Automated partitioning of a computation for parallel or other high capability architecture | — | 2011-11-15 |
| 6745384 | Anticipatory optimization with composite folding | — | 2004-06-01 |
| 6314562 | Method and system for anticipatory optimization of computer programs | — | 2001-11-06 |