Method for simplifying compiler-generated software code

Method for simulating back program execution from a...

Method for simulating back program execution from a...

Method for software debugging via simulated re-execution of...

Method for software installation and pre-setup

Method for software pipelining nested loops

Method for software pipelining of irregular conditional...

Method for specifying and parsing expressions

Method for specifying stateful, transaction-oriented systems...

Method for supporting new network element software versions...

Method for supporting parallelization of source program

Method for synchronization between links and group...

Method for synchronization of concurrently modified...

Method for synchronizing JAVA with UML in a version...

Method for synchronizing UML with JAVA in a version...

Method for target-specific development of fixed-point...

Method for testing IEEE 1394 controllers

Method for testing of a software emulator while executing...

Method for testing system components of an object-oriented...

Method for testing using client specified references