| Patent No. | Patent Title: |
| 7337440 | Methodology for generating accessing functions for programmed exe... |
| 7191439 | Verification of software application attributes for optimal compa... |
| 7107584 | Data alignment between native and non-native shared data structur... |
| 7080357 | Software package verification |
| 7055131 | Methods and systems for animating the interaction of objects in a... |
| 7036115 | Code generation by matching and satisfiability search |
| 7024665 | Control systems and methods for translating code from one format ... |
| 7003764 | Method and apparatus for dynamic configuration of a lexical analy... |
| 7000223 | Method and apparatus for preparing a definition to control automa... |
| 6996814 | Method and apparatus for dynamically compiling byte codes into na... |
| 6993754 | Annotations to executable images for improved dynamic optimizatio... |
| 6993744 | Method for enabling a compiler or interpreter to use identifiers ... |
| 6983445 | System for controlling a parameter |
| 6983460 | Method for loading applications into a multiapplication embedded ... |
| 6983446 | Methods and systems for finding specific line of source code |
| 6976249 | Method for embedding object codes in source codes |
| 6973640 | System and method for computer code generation |
| 6971095 | Automatic firmware version upgrade system |
| 6968542 | Method for dynamically identifying pseudo-invariant instructions ... |
| 6968545 | Method and apparatus for no-latency conditional branching |
| 6966056 | Processor for making more efficient use of idling components and ... |
| 6966059 | System and method for providing automated low bandwidth updates o... |
| 6966052 | Method and apparatus for top-down testing based on end user docum... |
| 6964041 | Processor for making more efficient use of idling components and ... |
| 6961922 | Method and apparatus for defining operations to be performed duri... |
| 6961926 | System and method for distributed debugging and recording medium ... |
| 6961927 | Lossless, context-free compression system and method |
| 6952822 | Program installation method, program installation system, program... |
| 6951017 | Design system upgrade migration |
| 6938242 | Equipment installation planning method and apparatus |
| 6934936 | Apparatus and method for adaptive address-based historical utiliz... |
| 6925637 | Low-contention grey object sets for concurrent, marking garbage c... |
| 6925631 | Method, computer system and computer program product for processi... |
| 6918111 | System and method for scheduling instructions to maximize outstan... |
| 6907601 | Method and apparatus for inserting more than one allocation instr... |
| 6898784 | Method and system for forming skeletons for generating verificati... |
| 6842892 | Automatic generation of an optimized API |
| 6826750 | Method of automatically selecting program and data updates based ... |
| 6820259 | Software distribution system and software receiving terminal appa... |
| 6802060 | Linker using relocation sequences |