Detecting reordered side-effects

Detecting similarities in Java sources from bytecodes

Detecting termination and providing information related to...

Detecting termination and providing information related to...

Detection of memory-related errors in computer programs

Detection of reduction variables in an assignment statement

Detection of resource exceptions

Determination of local variable type and precision in the...

Determining a communication schedule between processors

Determining and compensating for temporal overhead in trace...

Determining and merging differences between configuration...

Determining and using capabilities of a computer system

Determining destinations of a dynamic branch

Determining guarding predicate from partition graph based...

Determining hardware generated by high level language...

Determining how many class-type checks to inline

Determining maximum acceptable scheduling load latency using...

Determining maximum number of live registers by recording...

Determining minimal sets of bug solutions for a computer...

Determining program update availability via set intersection ove