{"links":{},"id":33280,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00033280","sets":["1164:2735:2760:2762"]},"path":["2762"],"owner":"11","recid":"33280","title":["並列化可能性判定のための配列データ依存解析問題のモデル化とシンプレックス法を基とする解法の提案"],"pubdate":{"attribute_name":"公開日","attribute_value":"2004-09-13"},"_buckets":{"deposit":"77acaeed-87f9-4974-82d3-ce0f64d8be3e"},"_deposit":{"id":"33280","pid":{"type":"depid","value":"33280","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"並列化可能性判定のための配列データ依存解析問題のモデル化とシンプレックス法を基とする解法の提案","author_link":["457997","457993","457991","457995","457990","457992","457996","457994"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"並列化可能性判定のための配列データ依存解析問題のモデル化とシンプレックス法を基とする解法の提案"},{"subitem_title":"Modeling of Array Data Dependence Analysis Problem for Parallelization and Proposal of Its Solving Algorithm based on Simplex Method","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2004-09-13","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"和歌山大学大学院システム工学研究科"},{"subitem_text_value":"京都大学工学研究科附属情報センター"},{"subitem_text_value":"和歌山大学システム工学部"},{"subitem_text_value":"立命館大学情報理工学部情報システム学科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate school of Systems Engineering, Wakayama University","subitem_text_language":"en"},{"subitem_text_value":"Center for Information Technology, Faculty of Engineering, Kyoto University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Systems Engineering, Wakayama University","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science, College of Information Science and Engineering, Ritsumeikan University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/33280/files/IPSJ-MPS04051003.pdf","label":"IPSJ-MPS04051003"},"date":[{"dateType":"Available","dateValue":"2006-09-13"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-MPS04051003.pdf","filesize":[{"value":"111.1 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"17"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"7f258bb9-4575-4ed2-b83c-fc08b10f0ce1","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2004 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"峰尾, 昌明"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"上原, 哲太郎"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"齋藤, 彰一"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"國枝, 義敏"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Masaaki, Mineo","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Tetsutaro, Uehara","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shoichi, Saito","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yoshitoshi, Kunieda","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10505667","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"自動並列化コンパイラにとって,並列実行可能性を判別するためにデータ依存解析モジュールは必須である.配列要素間のデータ依存解析手法は種々提案されており,各手法には解析の速度と厳密性との間にトレードオフがある.厳密性を重視した手法としてOmegaテストが有名である.しかし,Omegaテストは,解析にかかる時間が長く,また実装が困難である.本論文では,実装が容易かつ,多くの場合Omegaテストより,高速に厳密な解析を行う新たな手法を提案する.本手法は,線形計画法と全探索を組みあわせ,さらに,GCDテスト,Banerjeeテスト,分離テストの機能をも取り込んだ新しい独自の総合的アルゴリズムである.","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Data dependence analysis is essential for automatic parallelizing compilers. Several dependence analysis tests on array data have already been proposed. Each test cannot avoid the trade-off between its speed and exactness. Among conventional tests, Omega test is well known as an exact test. However, the algorithm of Omega test is so complicated that its analysis is very time consuming and it is difficult to implement Omega test. Therefore, in this paper a new original analysis method is proposed, whose algorithm is based and combined both linear programming and exhaustive solution search method. This algorithm also includes the features of GCD test, Banerjee test, and Separability test.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"12","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告数理モデル化と問題解決(MPS)"}],"bibliographicPageStart":"9","bibliographicIssueDates":{"bibliographicIssueDate":"2004-09-13","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"92(2004-MPS-051)","bibliographicVolumeNumber":"2004"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-18T23:02:09.618927+00:00","updated":"2025-01-19T23:37:48.068323+00:00"}