WEKO3
アイテム
リスト上の最大マーク付け問題を解く並列プログラムの導出
https://ipsj.ixsq.nii.ac.jp/records/16463
https://ipsj.ixsq.nii.ac.jp/records/16463cc1d105e-a60f-4463-b82b-8d1e08a2a2e3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4903003.pdf (279.6 kB)
|
Copyright (c) 2008 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2008-03-15 | |||||||
| タイトル | ||||||||
| タイトル | リスト上の最大マーク付け問題を解く並列プログラムの導出 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Derivation of Parallel Programs for Maximum Marking Problems on Lists | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 通常論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 東京大学大学院情報理工学系研究科 | ||||||||
| 著者所属 | ||||||||
| 東京大学大学院情報理工学系研究科 | ||||||||
| 著者所属 | ||||||||
| 東京大学大学院情報理工学系研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science and Technology, The University of Tokyo | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science and Technology, The University of Tokyo | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science and Technology, The University of Tokyo | ||||||||
| 著者名 |
松崎, 公紀
胡振江
武市, 正人
× 松崎, 公紀 胡振江 武市, 正人
|
|||||||
| 著者名(英) |
Kiminori, Matsuzaki
Zhenjiang, Hu
Masato, Takeichi
× Kiminori, Matsuzaki Zhenjiang, Hu Masato, Takeichi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 最大マーク付け問題とは，入力として与えられたデータに対し，ある述語を満たし，かつ，重み和が最大となる要素集合を求める問題である．多くの最適化問題は最大マーク付け問題として定式化できることが知られている．本稿では，このうち，データがリスト構造を持つ場合を対象とする．リスト上の最大マーク付け問題の例としては，最大部分列和問題などが知られている．本稿では，最大マーク付け問題における述語の仕様から並列プログラムを導出する手法を提案する．並列プログラムの導出においては，並列計算においてよく利用される処理を抽象化した並列スケルトンを利用する．並列スケルトンを用いた並列プログラムの導出法についてはこれまでにも多くの研究がなされており，それらを利用する．本稿ではさらに，述語の仕様から並列プログラムのコードを生成するシステムについても述べる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The maximum marking problem is the problem of marking the entries of some given data structure in such a way that a given constraint is satisfied and the sum of the values associated with marked entries is as large as possible. We can formalize many optimization problems as instances of the maximum marking problems. In this paper, we show the derivation of parallel programs for maximum marking problems on lists, which include the well-known maximum segment sum problem. The derivation of parallel programs is based on skeletal parallel programming, where parallel programs are developed by compositions of abstracted parallel computational patterns called skeletons. In this paper, we also discuss a code generator for the maximum marking problems. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 49, 号 SIG3(PRO36), p. 16-27, 発行日 2008-03-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
