Issued Patents All Time
Showing 1–25 of 28 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8195802 | Method and system for processing of allocation and deallocation requests in a computing environment | — | 2012-06-05 |
| 8176108 | Method, apparatus and computer program product for network design and analysis | — | 2012-05-08 |
| 8122349 | Listing and modifying groups of blocks in the editing of a document | — | 2012-02-21 |
| 8028281 | Run-Time parallelization of loops in computer programs using bit vectors | — | 2011-09-27 |
| 8028280 | Compiler optimisation of source code by determination and utilization of the equivalence of algebraic expressions in the source code | — | 2011-09-27 |
| 7954043 | Concurrent editing of a file by multiple authors | — | 2011-05-31 |
| 7934205 | Restructuring computer programs | — | 2011-04-26 |
| 7836112 | Determining the equivalence of two sets of simultaneous linear algebraic equations | — | 2010-11-16 |
| 7337437 | Compiler optimisation of source code by determination and utilization of the equivalence of algebraic expressions in the source code | — | 2008-02-26 |
| 7296228 | Document editing by blocks and groups | — | 2007-11-13 |
| 7228529 | Restructuring computer programs | — | 2007-06-05 |
| 7171544 | Run-time parallelization of loops in computer programs by access patterns | — | 2007-01-30 |
| 7136891 | Arithmetic and relational operations | — | 2006-11-14 |
| 7130806 | Resource unit allocation | — | 2006-10-31 |
| 7089545 | Detection of reduction variables in an assignment statement | — | 2006-08-08 |
| 7073166 | Conformance of computer programs with predetermined design structures | — | 2006-07-04 |
| 7043510 | Determining the equivalence of two sets of simultaneous linear algebraic equations | — | 2006-05-09 |
| 6963865 | Method system and program product for data searching | — | 2005-11-08 |
| 6959434 | Method of determining the syntactic correctness of expressions | — | 2005-10-25 |
| 6948161 | Method, computer system and computer program product for determining the equivalence of two blocks of assignment statements | — | 2005-09-20 |
| 6839749 | Network representation and manipulation thereof | — | 2005-01-04 |
| 6829760 | Runtime symbol table for computer programs | — | 2004-12-07 |
| 6754387 | Systems, method and program product for pattern information processing | — | 2004-06-22 |
| 6745215 | Computer apparatus, program and method for determining the equivalence of two algebraic functions | — | 2004-06-01 |
| 6658643 | Method and apparatus for computer software analysis | — | 2003-12-02 |