Using class properties to segregate objects in a generation...

Using context prefixes that correspond to user input modes...

Using context prefixes that correspond to user input modes...

Using cross-entropy to test executable logic code

Using dynamic analysis to improve model checking

Using idempotent operations to improve transaction performance

Using identifiers and counters for controlled optimization...

Using incremental generation to develop software applications

Using interrelated data at run time

Using optimized libraries to improve performance of deployed...

Using readily available driver and application source code...

Using relationships between contexts in model view...

Using transactional memory for precise exception handling in...

Using value speculation to break constraining dependencies...

Using value-expression graphs for data-flow optimizations

Utilization of third party legacy data list