プロテクションシステムのセキュリティ判定問題 (計算機科学の数学的基礎)
スポンサーリンク
概要
著者
関連論文
- 分散形システムにおけるデッドロックの検出と回復
- データベース問合せ言語の変換アルゴリズムについて(アルゴリズムの数学的基礎理論とその応用)
- 3. ハードウェアアルゴリズムの設計法 3.3 シストリック配列とバス付きセル配列上のハードウエアアルゴリズム (VLSI向きハードウェアアルゴリズム)
- 会議スケジュールの自動調整
- VLSI設計におけるチャネルグラフ分割問題について(グラフ理論とその応用)
- 分散型データベースにおける単純問合せの最適化について(計算機構に関する数学的基礎理論とその応用)
- LSI設計の配線におけるグラフの分割(計算機科学の基礎理論)
- 正規集合を受理するパターン・マッチング・マシン(計算機構に関する数学的基礎理論とその応用)
- 2分検索木上のセレクティブトラバースに関するある改良 (情報科学の数学的基礎理論と応用)
- モジュールの再構成 : 共有を許す場合 (情報科学の数学的基礎理論と応用)
- プロテクションシステムのセキュリティ判定問題 (計算機科学の数学的基礎)
- ペトリネットのサブクラスの$\Sigma$スライスによる表現能カ比較について (計算機構の数学的研究)
- 拡張された2-充足可能性判定問題について (オートマトン理論および言語理論の新展開)
- Pセンタ問題およびデータ変換に関連した問題の計算複雑さ (計算の複雑性に関する研究)