Safe to execute verification of software

Scalable and improved profiling of software programs

Scalable cross-file inlining through locality-based...

Scenario presentation tool

Scheduling technique for software pipelining

Scheduling technique for software pipelining

Script-based object adaptation

Scripting language for processing typed structured data

Secure data downloading, recovery and upgrading

Secure data downloading, recovery and upgrading

Securely accessing a file system of a remote server computer

Security framework for protecting rights in computer software

Selection of code updates, data updates or new data for client

Selective code generation optimization for an advanced...

Selective conversion to native code using hardware...

Selective post-compile conversion

Selective pre-compilation of virtual code to enhance boot...

Selectively enabling expression folding during program...

Self modifying code to test all possible addressing modes

Self modifying scene graph