@techreport{oai:ipsj.ixsq.nii.ac.jp:00033482,
 author = {峰尾, 昌明 and 上原, 哲太郎 and 齋藤, 彰一 and 國枝, 義敏 and Masaaki, Mineo and Tetsutaro, Uehara and Shoichi, Saito and Yoshitoshi, Kunieda},
 issue = {63(2001-MPS-035)},
 month = {Jun},
 note = {並列化を行う際にプログラムの中でもっとも効果が望めるのはループである。ループを並列化する際に単純に並列化を行うとデータの参照順が変わってしまう可能性がある。そのため、間違った実行結果になることがある。このような並列化が不可能なループを特定するためにはデータ依存解析が必須となる。このデータ依存解析手法には、既にいくつかの手法が提案されている。ここではその内、GCDテスト、Banerjeeテストを実装し、新たにBanerjeeテストを拡張し、依存距離と依存方向を求めること、そして第3の手法として線形計画法を応用することを提案し、これらの手法について考察する。, The first target of parallelization is a loop structure. However, when executing, the order of data access differs between parallel processing and an original sequential processing. Thus the execution result may change between them. Therefore automatic parallelizng compilers analyse the data access patern in loops. This analysis is called Data Dependence Analysis. Several analysing methods are already proposed for this data dependence analysis. GCD test, Banerjee test in those are implemented in our parallelizing compiler. This paper disserts these two and then newly proposes the extension of Banerjee test and the application of a linear programming as the 3rd method and studies all of them.},
 title = {配列データに関する依存解析のための整数解探索},
 year = {2001}
}