RT AA A1 정삼진 T1 An Extended Region Partition Method for Doubly Nested Loops with Non-uniform Dependences