Method for transaction processing with parallel execution

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 MOF metamodels to UML models

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 a business model user interface

Method for using a data flow net to specify and assemble...

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 branch prediction mechanism and...

Method for verifying code transformers for an incorporated...

Method for verifying safety properties of java byte code...

Method for visual programming with aid of animation

Method for visual programming with aid of animation