分散実時間システムにおける時間概念の抽象化および形式化

体系的課題番号：JPMJPR9753
実施期間：1997 - 2000
実施機関 (1件)：
研究代表者： ( , 研究員 )
DOI： https://doi.org/10.52926/JPMJPR9753
研究概要：

実時間計算に現れる時間に関する諸概念の抽象化及び形式化を行い、分散実時間システムのデザインに有用となる計算モデルを構築することを目指す。特に、計算の実行に与えられる時間を資源の一種としてとらえること、システムをメタに見通す視点と計算を行う主体の視点との違いを両者の持つ時間に関する知識構造の違いとして表すことを目標とする。

, , ,

研究制度：＞＞
上位研究課題：情報と知
研究所管機関：

国立研究開発法人科学技術振興機構

報告書等：

2000 終了報告書

前のページに戻る