Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Remote incremental program verification using API definitions

Remote incremental program verification using API definitions

US Patent 6651186 · Granted Nov 18, 2003

Estimated economic value: $13,539,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Optimization of N-base typed arithmetic instructions via rework2013
Zero overhead exception handling2008
Token-based linking2008
Optimization of n-base typed arithmetic expressions2008
Remote incremental program verification using API definitions2007
Overflow sensitive arithmetic instruction optimization using chaining2007
Object-oriented instruction set for resource-constrained devices2007
API representation enabling submerged hierarchy2007
Overflow predictive arithmetic instruction optimization using chaining2006
Predictive arithmetic overflow detection2006
Remote incremental program binary compatibility verification using API definitio2006
Populating binary compatible resource-constrained devices with content verified 2005