Contents of Report

[Data of Report]

Report Number:: TR0557
Date of Registration:: 1990.03
English Title:: Detection and Report of Perpetual Suspension in KL1
Japanese Title:: KL1における永久中断ゴールの検出と報告
English Author:: S.Onishi,Y.Inamura
Japanese:: 大西　諭,稲村　雄
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0557.pdf

[Contents]

	概要	.... 2
	Abstract	.... 2
1	はじめに	.... 3
2	永久中断ゴールの報告	.... 3
2.1	KL1での例外処理機構	.... 3
2.2	永久中断ゴールの報告形式	.... 4
3	KL1の中断機構と因果グラフ	.... 4
3.1	KL1の中断機構	.... 4
3.2	極大ゴール	.... 5
4	極大ゴール発見アルゴリズム	.... 5
4.1	永久中断状態の検出	.... 5
4.2	永久中断ゴール(群)の発見	.... 6
4.3	極大ゴール抽出	.... 6
5	評価	.... 8
5.1	永久中断ゴール検出のためのオーバヘッド	.... 8
5.2	本方式の限界	.... 8
6	おわりに	.... 8
	謝辞	.... 8
	参考文献	.... 9

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports