剰余区間演算規則とその応用例

• Item type: SIG Technical Reports(1)
• 公開日: 2000-08-03
• タイトル: 剰余区間演算規則とその応用例
• タイトル / 言語: en
• タイトル: An Algorithm of Modulo Interval Arithmetic and Its Applications
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 奈良女子大学人間文化研究科
• 著者所属: 奈良先端科学技術大学院大学情報科学研究科
• 著者所属: 奈良女子大学理学部
• 著者所属: 奈良先端科学技術大学院大学情報科学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Human Culture, Nara Women's University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nara Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): Faculty of Science, Nara Women's University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nara Institute of Science and Technology
• 著者名: 曽山, 典子; 中西, 恒夫; 加古, 富志雄; 福田, 晃
• 著者名(英): Noriko, Soyama; Tsuneo, Nakanishi; Fujio, Kako; Akira, Fukuda
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 剰余区間演算は実数上の区間に含まれる剰余群を対象とする集合演算と算術演算からなる演算体系として提案された．剰余区間は，計算機で取り扱う離散的かつ循環的な整数の集合を表すのに適した表現であり，その特長はプログラム解析等に用いる上で適している．本研究では，剰余区間演算を使ったプログラム解析の応用例として，自動ベクトル化／並列化コンパイラにおいて行われるデータ依存解析等のプログラム解析，高位論理合成における値域解析への応用例を紹介する。また，基本演算による誤差を削減する演算規則を提案し、その有用性を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Modulo interval arithmetic is an arithmetic system on sets of integers included in real intervals. Since modulo interval is useful for representing a set of integers with discreteness and cyclicity such as loop indices or array subscripts, it is expected to use for various program analysis applied by compilers. However, naive application of modulo interval arithmetic possibly produces a bigger set of integers than the exact set. In this paper we discuss its application to data flow analysis for vectorizing/parallelizing compilers or range analysis for hardwaresoftware codesign. Moreover, we introduce a effective method to reduce error of modulo interval arithmetic for polynomials with modulo intervals.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096105
• 書誌情報: 情報処理学会研究報告計算機アーキテクチャ（ARC）; 巻 2000, 号 74(2000-ARC-139), p. 43-48, 発行日 2000-08-03
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会