スポンサーリンク
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest | 論文
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 災害現場の被災者や救援者の行動記述とそれを用いたネットワークシミュレーション環境の提案
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装
- 冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案
- 複数時間オートマトンによる仕様記述と検証
- 組合わせ幾何を用いた有理数プレスブルガー文真偽判定アルゴリズムにおける投影操作の高速化
- 時間ペトリネットの拡張モデルを用いたプロトコル合成
- 共有メモリ型並列計算機上での正則な項書換え系の一実装法
- Tarski算術における冠頭標準形の閉論理式の真偽判定アルゴリズムの提案
- 耐故障性のための多重化リソースを持つ分散システムの導出法
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例 (第54回全国大会 (平成9年前期 於 : 千葉工大) 大会優秀賞受賞論文 (11件)
- GUI制御部の記述と実現の一手法
- 時間ペトリネットモデルで記述されたサービス仕様からのプロトコル仕様の一合成法
- レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用 (コンカレント・コラボレーション技術論文小特集)