Method for software pipelining nested loops

Method for software pipelining of irregular conditional...

Method for specifying and parsing expressions

Method for supporting parallelization of source program

Method for synchronization between links and group...

Method for target-specific development of fixed-point...

Method for the secure interpretation of programs in...

Method for the translation of programs for reconfigurable...

Method for transformation of interface definitions and...

Method for transforming state-based IVR applications into...

Method for translating instructions in a speculative...

Method for translating programs for reconfigurable...

Method for transparent on-line dynamic binary optimization

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...