Designtime services for multiple patterns

Detecting aspectual behavior in unified modeling language...

Detecting plagiarism in computer source code

Detecting program phases with periodic call-stack sampling...

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