文献

J-GLOBAL ID：201702220120812730   整理番号：17A1774646

頻度分布からのサンプリング不変量【Powered by NICT】

Sampling invariants from frequency distributions

著者 (3件)： Fedyukovich Grigory (University of Washington Paul G. Allen School of Computer Science & Engineering) ,  Kaufman Samuel J. (University of Washington Paul G. Allen School of Computer Science & Engineering) ,  Bodik Rastislav (University of Washington Paul G. Allen School of Computer Science & Engineering)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： FMCAD  ページ： 100-107  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 数値誘導不変量を発見するための新しいSMTソルバを使用する,確率的,シンタックス・ガイデッド・方法を提示した。コアアイデアは,プログラムのソースコードからの頻度分布を初期化し,繰り返しそれらの分布からの補題を,学習補助定理の結合は安全不変になると停止した。サンプリング過程は,各正と負の試料後微調整優先分布により最適化する。この手法の確率的性質は,簡単で,非同期並列化を許容する。は良く知られた線形及びいくつかの非線形プログラム上で比肩可能な性能を示すFreqHornと呼ぶツールにこの手法を実装し,評価した。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)

タイトルに関連する用語 (3件)： 頻度分布 ,  サンプリング ,  不変量