Method for unrolling two-deep loops with convex bounds and...

Method for unwinding a program call stack

Method for using two copies of open firmware for self debug...

Method for validating a signed program prior to execution...

Method for validation of binary code transformations

Method for validation of binary code transformations

Method for verifying code transformers for an incorporated...

Method for visual programming with aid of animation

Method for zero overhead switching of alternate algorithms...

Method of and instruction set for executing operations on a...

Method of and system for installing a computer program

Method of automatic production of specifications

Method of bridging between .Net and Java

Method of carrying out computer operations

Method of compiling a loop

Method of compiling bytecode to native code

Method of compiling schema mapping

Method of compiling schema mapping

Method of constructing and unrolling speculatively counted...

Method of controlling a data processing system