@techreport{oai:ipsj.ixsq.nii.ac.jp:00029329,
 author = {北村, 隆光 and 峰尾, 昌明 and 上原, 哲太郎 and 齋藤, 彰一 and 國枝, 義敏 and Takamitsu, Kitamura and Masaaki, Mineo and Tetsutaro, Uehara and Shoichi, Saito and Yoshitoshi, Kunieda},
 issue = {102(2001-HPC-088)},
 month = {Oct},
 note = {並列化の主な対象となるのは逐次プログラム中のループ部分である。しかし、逐次プログラムのループ処理を単純に並列化してしまうと、データへのアクセス順序が本来の逐次処理とは変化してしまう場合があり、本来の実行結果と異なる結果となる場合がある。したがって、逐次プログラムのループ部を並列化するにはデータ依存の有無を判定する必要がある。データ依存を解析する手法として、既にいくつかの手法が考案されている。本依存解析部ではその内、GCDテスト、Banerjeeテストを実装し、また新たな手法として、線形計画法と全探索によるテストを実装したので報告する。, Generally loops in a given program are the target for almost all the most parallelization techniques. However, in some cases,when loops are parallelized without dependence analysis, the result of the given program may be changed comparing with an original execution result. Therefore, in order to parallelize the loops of a given program, it is necessary to analyze the existence of data dependence. As a method of analyzing data dependence, some techniques are already devised. In this dependence analysis module described here,GCD test and Banerjee test are adopted. And,the test of Linear Programming and exhaustive search was implement as a new technique,which this paper reports.},
 title = {自動並列化コンパイラMIRAIにおける配列データ依存解析部の実現方式},
 year = {2001}
}