| Patent No. | Patent Title: |
| 8191056 | Sparse vectorization without hardware gather/scatter |
| 8181163 | Program synthesis and debugging using machine learning techniques |
| 8181157 | Custom language support for project documentation and editing |
| 8181159 | Test automation using virtual machines |
| 8166454 | Object oriented based methodology for modeling business functiona... |
| 8166472 | Installation utility system and method |
| 8161456 | Management of heterogeneous software artifacts through a common r... |
| 8156480 | Methods and apparatus to form a resilient objective instruction c... |
| 8151251 | e-Profiler: dynamic profiling and auditing framework |
| 8151261 | System and method for packaging updates |
| 8146051 | Method and computer program product for providing a representatio... |
| 8141033 | Object oriented based methodology for modeling business functiona... |
| 8136105 | Method to exploit superword-level parallelism using semi-isomorph... |
| 8132153 | Quality management framework for a software lifecycle |
| 8122432 | Rule management using a configuration database |
| 8122433 | Software documentation manager |
| 8112739 | Data driven transfer functions |
| 8108835 | Method and system for enforcing version control |
| 8104021 | Verifiable integrity guarantees for machine code programs |
| 8104024 | Voice mark-up language and interpreter |
| 8095918 | Software development apparatus for model that requires security |
| 8095924 | Method and apparatus to upgrade driver of image forming apparatus |
| 8087004 | Drawing validation tool |
| 8082542 | Load time in-lining of subroutines |
| 8082540 | Method for visually indicating preceding and succeeding source co... |
| 8082538 | Systems, methods and apparatus for developing and maintaining evo... |
| 8079021 | Method and apparatus for display of windowing application program... |
| 8074216 | Device management apparatus, client apparatus, and device managem... |
| 8074204 | Test automation for business applications |
| 8056057 | System and method for generating business process test elements |
| 8056063 | Method and apparatus minimizing code duplication in a statically ... |
| 8046745 | Method to examine the execution and performance of parallel threa... |
| 8046736 | Generated code from graphical user interface |
| 8042105 | Multiple configurable customization layer system, method and comp... |
| 8037449 | Automatic software production system |
| 8037455 | Method and device for the automated evaluation of software source... |
| 8037451 | Method for tracking code revisions with a checksum data value bei... |
| 8037457 | Method and system for generating and displaying function call tra... |
| 8037464 | Generating optimized SIMD code in the presence of data dependence... |
| 8024715 | Method and apparatus for detecting transient faults via dynamic b... |