文献

J-GLOBAL ID：201702271738454887   整理番号：17A1780175

信頼性のある数値計算のためのNumalisソフトウェアスイートの概観【Powered by NICT】

An Overview of Numalis Software Suite for Reliable Numerical Computation

著者 (3件)： Ioualalen Arnault ,  Martel Matthieu ,  Normand Nicolas
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ISSREW  ページ： 1-4  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 数値アルゴリズムは多くの分野で使用されているが,それらは有限精度計算機演算による近似計算に依存している。臨界システムはますます計算を行い,検証と妥当性確認技術と支援開発増加のニーズとして,計算機演算は,特に直感的でなかった。プログラマにツールを提供するために,コードの数値品質を検証し,増加することを支援する,広く,より信頼性の高い数値コードをより迅速開発することが必要である。本論文では,ソフトウェア工学レベルでの産業界で遭遇する数値精度に関する主要な問題の記述を行い,Numalis社が開発したソフトウエアにより提案されたソリューションの概要を与えた。この一組は,静的および動的解析だけでなく,支援開発ツールによる検証と検証のためのツールを含んでいる。それらをより正確な結果を計算するために後者のツールは,プログラムを最適化し,それらはまた少なくともフォーマットを推定,ビットサイズの観点から,精度の要求を満たすために。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 演算 ,  *信頼性 ,  計算機械 ,  *ソフトウェア ,  動的解析 ,  ソフトウェア工学 ,  最適化 ,  *数値計算 ,  品質 ,  プログラマ ,  臨界
準シソーラス用語： 開発ツール ,  妥当性確認 ,  近似計算 ,  数値アルゴリズム , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (1件)： 数値計算