An efficient static analysis algorithm to detect redundant memory operations.
Keith D. CooperLi XuPublished in: MSP/ISMM (2002)
Keyphrases
- detection algorithm
- static analysis
- optimal solution
- databases
- computational complexity
- memory requirements
- dynamic programming
- computationally efficient
- search space
- case study
- memory usage
- segmentation algorithm
- simulated annealing
- k means
- relational databases
- matching algorithm
- np hard
- test suite
- memory space
- memory efficient