| Patent Number |
Title Of Patent |
Date Issued |
| 7316007 |
Optimization of n-base typed arithmetic expressions |
January 1, 2008 |
| A method for arithmetic expression optimization includes receiving a first instruction defined for a first processor having a first base, the first instruction including an operator and at least one operand, converting the first instruction to a second instruction optimized for a second |
| 7231635 |
Remote incremental program verification using API definitions |
June 12, 2007 |
| A method of operating a computer system includes providing a program in memory, verifying the program prior to an installation of the program and generating a program fault signal when the verification fails. The program includes at least one program unit, and each program unit inclu |
| 7158993 |
API representation enabling submerged hierarchy |
January 2, 2007 |
| A method for representing an application programming interface (API) for an object-oriented library includes creating a list of public elements in the library and storing the list. Each public element in the list includes a sublist of all public related elements for the element. Acco |
| 6986132 |
Remote incremental program binary compatibility verification using API definitions |
January 10, 2006 |
| A method of operating a computer system includes providing a first version of a program in memory and verifying the program prior to program execution. Program verification includes indicating a verification error when a first version of a first program unit implementation is not int |
| 6981245 |
Populating binary compatible resource-constrained devices with content verified using API defini |
December 27, 2005 |
| Remote incremental program verification may be achieved by receiving content verified by at least one content provider, installing the content on a resource-constrained device, issuing the resource-constrained device to an end user, and allowing post-issuance installation of verified |
| 6883163 |
Populating resource-constrained devices with content verified using API definitions |
April 19, 2005 |
| Remote incremental program verification may be achieved by receiving content verified by at least one content provider, installing the content on a resource-constrained device, disabling subsequent installation of content on the resource-constrained device, and issuing the resource-c |
| 6687898 |
Optimization of n-base typed arithmetic expressions |
February 3, 2004 |
| A method for arithmetic expression optimization includes receiving a first instruction defined for a first processor having a first base, the first instruction including an operator and at least one operand, converting the first instruction to a second instruction optimized for a second |
| 6651186 |
Remote incremental program verification using API definitions |
November 18, 2003 |
| A method of operating a computer system includes providing a program in memory, verifying the program prior to an installation of the program and generating a program fault signal when the verification fails. The program includes at least one program unit, and each program unit includes |
| 6363523 |
Optimization of N-base typed arithmetic expressions |
March 26, 2002 |
| A method for arithmetic expression optimization includes receiving a first instruction defined for a first processor having a first base, the first instruction including an operator and at least one operand, converting the first instruction to a second instruction optimized for a second |
