Pruning local graphs in an inter-procedural analysis solver

Publishing the status of and updating firmware components

Push deployment of software packages using notification transpor

Qualification of event detection by thread ID and thread...

Qualitatively annotated code

Quality inspector tool

Quantization and compression for computation reuse

Query serving infrastructure providing flexible and...

Quick deployment method

Random test generation for compiler optimization

Ranked break points and method for debugging a computer program

Rapid application integration

Rapid application integration using an integrated...

Rapid application integration using reusable patterns

Rapid GUI refacing of a legacy application

Rapid on-boarding of a software factory

Rating apparatus and method for evaluating bugs

Re-programmable flash memory micro controller as...

Reachability analysis for program verification

Readers and scanner design pattern