Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10621163 | Tracking and reusing function results | Basil C. Hosmer, Aaron Orenstein | 2020-04-14 |
| 10095543 | Computing in parallel processing environments | Patrick Robert Griffin, Anant Agarwal, Chyi-Chang Miao | 2018-10-09 |
| 8738860 | Computing in parallel processing environments | Patrick Robert Griffin, Anant Agarwal, Chyi-Chang Miao, Christopher D. Metcalf, Bruce E. Edwards +15 more | 2014-05-27 |
| 8620940 | Pattern matching | Kenneth M. Steele, Vijay Kumar Aggarwal | 2013-12-31 |
| 8458671 | Method and system for stack back-tracing in computer programs | Vineet Soni, Richard Schooler | 2013-06-04 |
| 7877401 | Pattern matching | Kenneth M. Steele, Vijay Kumar Aggarwal | 2011-01-25 |
| 7424550 | System and method for specifying access to resources in a mobile code system | Donald T. Davis, Elizabeth Martin, David A. Kranz | 2008-09-09 |
| 7281017 | Views for software atomization | Benjamin Harrison | 2007-10-09 |
| 7225438 | Lazy compilation of template-generated classes in dynamic compilation execution environments | David A. Kranz | 2007-05-29 |
| 7117507 | Software atomization | Benjamin Harrison | 2006-10-03 |
| 6760905 | Lazy compilation of template-generated classes in dynamic compilation execution environments | David A. Kranz | 2004-07-06 |
| 6598186 | System and method for compile-time checking of units | Morgan McGuire | 2003-07-22 |
| 6457112 | Memory block allocation system and method | — | 2002-09-24 |
| 6301646 | Pointer verification system and method | — | 2001-10-09 |

