| 1 2 3 |
| Patent ID | Title | Date Filed |
| 6742038 | System and method of linking user identification to a subscriber identification module
| September 6, 2001 |
| 6738967 | Compiling for multiple virtual machines targeting different processor architectures
| March 14, 2000 |
| 6728952 | Identification of vacuous predicates in computer programs
| September 24, 1999 |
| 6725450 | Program conversion apparatus, processor, and record medium
| June 16, 2000 |
| 6721804 | Portal system for converting requested data into a bytecode format based on portal device's graphical capabilities
| November 15, 2000 |
| 6708288 | Compiler-based checkpointing for support of error recovery
| October 31, 2000 |
| 6704923 | System and method for pre-verification of stack usage in bytecode program loops
| February 28, 2000 |
| 6678886 | Apparatus and method for generating optimization objects
| April 2, 2001 |
| 6662356 | Application program interface for transforming heterogeneous programs
| June 30, 1999 |
| 6662354 | Determining destinations of a dynamic branch
| January 29, 1999 |
| 6631517 | Software constructs that facilitate partial evaluation of source code
| November 2, 2000 |
| 6609248 | Cross module representation of heterogeneous programs
| June 30, 1999 |
| 6560774 | Verifier to check intermediate language
| September 1, 1999 |
| 6553268 | Template language for industrial controller programming
| March 16, 2000 |
| 6542899 | Method and system for expressing information from an object-oriented database in a grammatical form
| February 19, 1999 |
| 6526570 | File portability techniques
| April 24, 2000 |
| 6493692 | Information search apparatus and method, and computer readable memory
| September 30, 1999 |
| 6484313 | Compiling and persisting of intermediate language code
| June 30, 1999 |
| 6484312 | Inferring operand types within an intermediate language
| June 7, 1999 |
| 6481008 | Instrumentation and optimization tools for heterogeneous programs
| June 30, 1999 |
| 6470336 | Document image search device and recording medium having document search program stored thereon
| August 23, 2000 |
| 6463579 | System and method for generating recovery code
| February 17, 1999 |
| 6460178 | Shared library optimization for heterogeneous programs
| June 30, 1999 |
| 6460177 | Method for target-specific development of fixed-point algorithms employing C++ class definitions
| September 22, 1999 |
| 6425124 | Resource allocation device for reducing the size and run time of a machine language program
| November 8, 1993 |
| 6389590 | Indefinite-size variables within an intermediate language
| June 22, 1999 |
| 6370687 | Network computer system and substitute compile server
| November 16, 1999 |
| 6369836 | Cause effect diagram program
| December 23, 1999 |
| 6367076 | Compiling method and memory storing the program code
| March 12, 1999 |
| 6346945 | Method and apparatus for pattern-based flowcharting of source code
| December 28, 1998 |
| 6343373 | Retargetable information process system
| December 30, 1998 |
| 6339839 | Enabling multiple code generators in a translator-based embedded scripting system
| November 12, 1998 |
| 6336214 | System and method for automatically generating browsable language grammars
| November 10, 1998 |
| 6324686 | Just in time compiler technique
| November 10, 1998 |
| 6324685 | Applet server that provides applets in various forms
| March 18, 1998 |
| 1 2 3 |