並行計算のための抽象アーキテクチャ

• Item type: SIG Technical Reports(1)
• 公開日: 1991-11-21
• タイトル: 並行計算のための抽象アーキテクチャ
• タイトル / 言語: en
• タイトル: An abstract architecuture for concurrent computation
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 慶応義塾大学 大学院 計算機科学専攻
• 著者所属: 慶応義塾大学 大学院 計算機科学専攻
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Keio University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Keio University
• 著者名: 久保, 誠; 所, 真理雄
• 著者名(英): Makoto, Kubo; Mario, Tokoro
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では、並行性の理論、特に並行プロセス計算理論の形式表現の一つの考え方として、並行計算の抽象アーキテクチャを提案する。この抽象アーキテクチャは、並行計算に対する抽象的な実行形式を与え、また、抽象アーキテクチャは、計算の実行に関する諸性質を理論レベルで明確にすることができ、並行計算の最適化、実行環境への効果的な写像などに役立つことが期待できる。本論文では、我々の抽象アーキテクチャの基本的な枠組について概略を述べるにとどめ、各種性質に関しては別稿に譲ることとする。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we present an abstract architecuture based on concurrent process calculus. The abstract architecture is executional mechanism for concurrent computation at a high abstraction level. The architecute is expected to be useful in understanding executional properties for concurrent computation, and will be utilized for optimization, efficient mapping to executional environments, and suggestions to real computer architectures.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1991, 号 99(1991-PRO-005), p. 11-20, 発行日 1991-11-21
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会