Proj
J-GLOBAL ID：202104013386834023
Research Project code：7700000488
分散実時間システムにおける時間概念の抽象化および形式化
分散実時間システムにおける時間概念の抽象化および形式化
National award number：JPMJPR9753
Study period：1997 - 2000
Organization (1)：
Principal investigator：
(
, 研究員 )
DOI：
https://doi.org/10.52926/JPMJPR9753
Research overview：
実時間計算に現れる時間に関する諸概念の抽象化及び形式化を行い、分散実時間システムのデザインに有用となる計算モデルを構築することを目指す。特に、計算の実行に与えられる時間を資源の一種としてとらえること、システムをメタに見通す視点と計算を行う主体の視点との違いを両者の持つ時間に関する知識構造の違いとして表すことを目標とする。
Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
Research program：
＞
＞
Parent Research Project：
情報と知
Organization with control over the research：
Japan Science and Technology Agency
