文献

J-GLOBAL ID：202002213942576139   整理番号：20A1565670

ReverCSP:CSP計算における時間取引【JST・京大機械翻訳】

ReverCSP: Time-Travelling in CSP Computations

著者 (4件)： Galindo Carlos (Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Valencia, Spain) ,  Nishida Naoki (Graduate School of Informatics, Nagoya University, Nagoya, Japan) ,  Silva Josep (Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Valencia, Spain) ,  Tamarit Salvador (Departament de Sistemes Informatics i Computacio, Universitat Politecnica de Valencia, Valencia, Spain)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12227  ページ： 239-245  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文では,前方および後方CSP計算の両者をアニメーションするツール,レバーCSPを提示した。逆計算に対するこの能力は,ステップまたはバックトラッキングによって,与えられた望ましい状態に対して,ステップまたはバックトラッキングによって,実行でき,また,それらが,因果関係のある方法で,逆計算を,正確に逆計算することを可能にする。したがって,レバーCSPは,計算,解析,およびデバッグ計算に特に有用であるツールであり,コミュニティのために公開されているオープンソースプロジェクトである。ツールとその機能性を記述し,他の言語に対して再実装できるように実装の詳細を提供した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 言語 ,  コミュニティ ,  *デバッギング ,  アニメーション ,  バックトラッキング ,  オープンソースソフトウェア
準シソーラス用語： オープンソース , 【Automatic Indexing@JST】

著者キーワード (3件)： 可逆計算 ,  CSP ,  追跡

分類 (1件)： 数値計算  (JE02000J)

タイトルに関連する用語 (3件)： CSP ,  計算 ,  取引