Structural equivalence of expressions containing processes...

Structured exception-handling methods, apparatus, and...

Structuring unstructured regions in a control flow graph

Suite of metrics for software quality assurance and product...

Support continuous availability by allowing the use of...

Support for multiple interface versions

Support of a platform-independent model including...

Supporting applets on a high end platform

Supporting dynamically-typed languages in typed assembly...

Supporting interactions between different versions of...

Suppressing execution of monitoring measurement program...

Suppressing execution of monitoring measurement program...

Surrogate-based and extends-based context look-up

Switching to original code comparison of modifiable code for...

Switching to original modifiable instruction copy comparison...

Symbol for automatically renaming symbols in files during...

Symbolic assembly language

Symbolic debug interface for register transfer simulator...

Symbolic execution of object oriented programs with...

Symbolic program model compositions