講演番号 | 題目/著者 |
---|---|
A-019 | KnuthとDekkerのアルゴリズムに基づく無誤差変換を用いた多倍長演算アルゴリズムの提案と評価 野口 剛史, 古賀 雅伸, 元山 忠, 矢野 健太郎, |
A-020 | MARTE Profileによるリアルタイムシステム向け性能検証手法の提案 磯田 誠, 徳永 雄一, |
A-022 | 制御ソフトウェアの仕様整合性検証手法の検討と評価 大貫 智洋, |
A-023 | P/Tペトリネットにおける特解導出のためのアルゴリズムに関する一考察 恐神 正博, 山西 輝也, 魚崎 勝司, |
A-024 | 完全K分木連結ピン型組織構造の階層間関係追加 澤田 清, |
RA-002 | 文字列圧縮を用いたネットワークセキュリティにおけるインシデント検出 衛藤 公希, 小野 廣隆, 山下 雅史, 竹内 純一, |