Specifying an invariant property (range of addresses) in the...

Speculative compilation

Speculative multi-threading for instruction prefetch and/or...

Stable transitions in the presence of conditionals for an...

Stack clearing device and method

Stack unique signatures for program procedures and methods

Stall detecting apparatus, stall detecting method, and...

Standardized interface between Java virtual machine classes...

Static binding of dynamically-dispatched calls in the...

Static cache

Static compilation of instrumentation code for debugging...

Statically linking an application process with a wrapper...

Statically speculative compilation and execution

Storage structure for dynamic management of translated code...

Storage unit, storage medium and identification information...

Strategy for dynamically modeling ASN.1 data to an object model

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