Software rehosting system and method

Software set-value profiling and code reuse

Software support for virtual machine interpreter (VMI)...

Software system development framework

Software system generation

Software tool with modeling of asynchronous program flow

Software update manager

Software update notification

Software upgrades by conversion automation

Software-implemented grouping techniques for use in a...

Software-implemented grouping techniques for use in a...

Software-to-hardware compiler

Software-to-hardware compiler with symbol set inference...

Source code debugging tool

Source code transformation process and recording medium

Source code transformation-temporary object reduction

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