文献

J-GLOBAL ID：202002214111278103   整理番号：20A0910571

浮動小数点演算への確率論的アプローチ【JST・京大機械翻訳】

A Probabilistic Approach to Floating-Point Arithmetic

著者 (3件)： Dahlqvist Fredrik (Imperial College,Department of Electrical and Electronic Engineering,London) ,  Salvia Rocco (University of Utah,School of Computing) ,  Constantinides George A. (Imperial College,Department of Electrical and Electronic Engineering,London)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： IEEECONF  ページ： 596-602  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 有限精度浮動小数点演算は,最悪ケース解析を用いて伝統的に制限されている丸め誤差を避けることができない。しかしながら,最悪事例分析は,最悪ケース誤差が実際に非常にまれなイベントであるので,非常に保守的であるかもしれない。ここでは,アルゴリズムの丸め誤差が与えられた間隔内にあるという尤度を推定することが可能となる丸め誤差の確率モデルを開発した。入力分布を与えて,丸め誤差の分布を計算する方法を示した。高精度演算のために,低精度演算のためにこれを厳密に行い,簡単な近似を導出した。モデルは完全に構成されている:単純な必須プログラミング言語で書かれた数値プログラムを与えられると,計算の各ステップにおける丸め誤差の分布を再帰的に計算し,各プログラム命令を通して伝搬する。これは,確率論的プログラムの意味論を定式化するために,最初にKozenによって開発された形式を適用することによって行われる。次に,モデルの実装を検討し,それを用いて,いくつかのベンチマークに関する確率的範囲解析を実行した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  意味論 ,  プログラミング言語 ,  保全 ,  *演算 ,  *確率論 ,  *浮動小数点演算 ,  確率モデル ,  定式化 ,  ベンチマーク
準シソーラス用語： 尤度 ,  高精度 ,  確率的方法 ,  丸め誤差 ,  最悪ケース解析 , 【Automatic Indexing@JST】

分類 (3件)： 専用演算制御装置  (JC04030Y) ,  音声処理  (JE05000E) ,  符号理論  (ND02030R)

タイトルに関連する用語 (2件)： 浮動小数点演算 ,  確率論的アプローチ