分散実時間システムにおける時間概念の抽象化および形式化
| 体系的番号 |
JPMJPR9753 |
| DOI |
https://doi.org/10.52926/JPMJPR9753 |
研究代表者 |
田辺 誠 京都高度技術研究所, 研究員
|
|---|
| 研究期間 (年度) |
1997 – 2000
|
| 概要 | 実時間計算に現れる時間に関する諸概念の抽象化及び形式化を行い、分散実時間システムのデザインに有用となる計算モデルを構築することを目指す。特に、計算の実行に与えられる時間を資源の一種としてとらえること、システムをメタに見通す視点と計算を行う主体の視点との違いを両者の持つ時間に関する知識構造の違いとして表すことを目標とする。
|
|---|
| 研究領域 | 情報と知 |
|---|
