文献

J-GLOBAL ID：201802210902878430   整理番号：18A0845767

検証された累積アルゴリズム骨格【JST・京大機械翻訳】

A Verified Accumulate Algorithmic Skeleton

著者 (1件)： Loulergue Frederic
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CANDAR  ページ： 420-426  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,逐次プログラム変換に基づく正しい機能的並列プログラムの開発と,蓄積されたアルゴリズム的スケルトンを用いた自動並列化を可能にする,Coq対話型定理証明器のためのライブラリの拡張を示した。このようなアルゴリズム骨格は,並列に実装された高次関数として提供される並列アルゴリズムのパターンである。このフレームワークの使用を,並列マシン上での実験を含むブラケットマッチング問題により説明した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】

シソーラス用語： 並列アルゴリズム ,  定理証明 ,  *アルゴリズム ,  並列計算機 ,  プログラム変換
準シソーラス用語： 対話型 ,  自動並列化 ,  並列プログラム , 【Automatic Indexing@JST】

分類 (2件)： ディジタル計算機方式一般  (JC02010O) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 検証 ,  累積 ,  アルゴリズム ,  骨格