Source code translating method, recording medium containing...

Source converter processing method and machine-readable...

Source program processing method

Specification and verification for concurrent systems with...

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