Issued Patents All Time
Showing 26–39 of 39 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8627442 | Hierarchical rule development and binding for web application server firewall | Peng Ji, Lin Luo, Shun Xiang Yang, Yu ZHANG | 2014-01-07 |
| 8555246 | Method and apparatus for programming software components | — | 2013-10-08 |
| 8543607 | System and method for role based analysis and access control | — | 2013-09-24 |
| 8185881 | Procedure summaries for pointer analysis | Daniel Brand, Marcio Buss | 2012-05-22 |
| 8171454 | Method and apparatus for programming software components | — | 2012-05-01 |
| 8108841 | Minimizing interaction costs among components of computer programs | Douglas N. Kimelman, Vadakkedathu T. Rajan, Tova Roth, Mark N. Wegman | 2012-01-31 |
| 7933925 | System and method for role based analysis and access control | — | 2011-04-26 |
| 7730001 | Computer system program and method to characterize each of a plurality of objects used at runtime to determine a lowest cost property among a plurality of potential alternative properties for each of said objects minimizing total cost of interaction among components during program execution | Douglas N. Kimelman, Vadakkedathu T. Rajan, Tova Roth, Mark N. Wegman | 2010-06-01 |
| 7392515 | Program components having multiple selectable implementations | Douglas N. Kimelman, Vadakkedathu T. Rajan, Tova Roth, Mark N. Wegman | 2008-06-24 |
| 7360205 | Minimizing interaction costs among components of computer programs | Douglas N. Kimelman, Vadakkedathu T. Rajan, Tova Roth, Mark N. Wegman | 2008-04-15 |
| 6865730 | Interprocedural analysis and optimization of an object oriented program in the presence of dynamic class loading | Michael G. Burke, Jong-Deok Choi | 2005-03-08 |
| 6530079 | Method for optimizing locks in computer programs | Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Samuel Midkiff | 2003-03-04 |
| 6381738 | Method for optimizing creation and destruction of objects in computer programs | Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Samuel Midkiff | 2002-04-30 |
| 6182284 | Method and system for eliminating phi instruction resource interferences and redundant copy instructions from static-single-assignment-form computer code | Dz-ching Ju, David Gillies, Vatsa Santhanam | 2001-01-30 |