Method for back tracing program execution

Method for binary-level branch reversal on computer...

Method for categorizing and installing selected software...

Method for characterizing program execution by periodic call...

Method for collapsing the prolog and epilog of software...

Method for compile-time type-checking of arguments for...

Method for compiling a procedural program to an object class...

Method for compiling and executing a parallel program

Method for compiling program components in a mixed static...

Method for compiling scalar code for a single instruction...

Method for computer-assisted testing of software application...

Method for converting a system call

Method for converting an object code into a program code

Method for copy propagations for a processor with...

Method for creating and maintaining user data

Method for detecting buffer overflow for computer security

Method for determining a close approximate benefit of...

Method for determining an optimal partitioning of data among...

Method for determining program control flow

Method for determining ranges for algorithmic variables for...