| 8453133 |
Optimization of N-base typed arithmetic instructions via rework |
Zhiqun Chen |
2013-05-28 |
| 7461386 |
Zero overhead exception handling |
Joshua Susser |
2008-12-02 |
| 7444631 |
Token-based linking |
Joshua Susser |
2008-10-28 |
| 7316007 |
Optimization of n-base typed arithmetic expressions |
Zhiqun Chen |
2008-01-01 |
| 7231635 |
Remote incremental program verification using API definitions |
— |
2007-06-12 |
| 7207037 |
Overflow sensitive arithmetic instruction optimization using chaining |
— |
2007-04-17 |
| 7200842 |
Object-oriented instruction set for resource-constrained devices |
Joshua Susser |
2007-04-03 |
| 7158993 |
API representation enabling submerged hierarchy |
— |
2007-01-02 |
| 7107581 |
Overflow predictive arithmetic instruction optimization using chaining |
Zhiqun Chen |
2006-09-12 |
| 7010786 |
Predictive arithmetic overflow detection |
Zhiqun Chen |
2006-03-07 |
| 6986132 |
Remote incremental program binary compatibility verification using API definitions |
— |
2006-01-10 |
| 6981245 |
Populating binary compatible resource-constrained devices with content verified using API definitions |
— |
2005-12-27 |
| 6883163 |
Populating resource-constrained devices with content verified using API definitions |
— |
2005-04-19 |
| 6880155 |
Token-based linking |
Joshua Susser |
2005-04-12 |
| 6848111 |
Zero overhead exception handling |
Joshua Susser |
2005-01-25 |
| 6687898 |
Optimization of n-base typed arithmetic expressions |
Zhiqun Chen |
2004-02-03 |
| 6651186 |
Remote incremental program verification using API definitions |
— |
2003-11-18 |
| 6363523 |
Optimization of N-base typed arithmetic expressions |
Zhiqun Chen |
2002-03-26 |
| 5818711 |
Method for visually determining the status of program edits in an on-line programming environment |
Shelly Lynn Urdaneta |
1998-10-06 |
