Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Specifying an invariant property (range of addresses) in the annotation in source code of the computer program

Specifying an invariant property (range of addresses) in the annotation in source code of the computer program

US Patent 7013460 · Granted Mar 14, 2006

Estimated economic value: $36,629,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Compiler with flexible scheduling2012
Method and apparatus for managing access to out-of-frame registers2008
Method and apparatus for managing access to out-of-frame registers2007
Method and apparatus for switching between multiple implementations of a routine2006
Method and apparatus for efficient code generation for modulo scheduled uncounte2006
Prefetch insertion by correlation of cache misses and previously executed instru2005
Method and apparatus for ordered predicate phi in static single assignment form2005
Method and apparatus for performing correctness checks opportunistically2005
Method and apparatus for varying the level of correctness checks executed when p2005
Method and apparatus for resuming execution of a failed computer program2005
Method and apparatus for enabling a compiler to reduce cache misses by performin2005
Compiler-based checkpointing for support of error recovery2004