スポンサーリンク
大阪大学 基礎工学部 | 論文
- 有限長スリットからの空気の垂直噴射を伴う3次元超音速流れと混合
- 再帰やポインタを含むプログラムの効率的な依存関係解析法の提案
- ソースコード解析システムを用いたプログラム依存グラフ表示ツールの試作
- 1993年コンピュータビジョンとパターン認識会議参加報告
- 1205 義足動力学特性推定システムの構築と検討(GS-10 モニタリング)
- 606 発育期における力学的負荷とビタミンK2摂取の骨成長に対する影響の検討(GS-2・11 成長・成育と動作解析)
- 615 坐骨神経切断が成長期ラットの脛骨脈管路局所構造に及ぼす影響 : 単色放射光μCT解析による検討(GS-2 血管)
- D-CCFinder:超大規模ソースコード集合を対象とした分散処理型コードクローン検出・可視化システム
- 5 組込みシステムにおけるソフトウェアプロダクトラインの導入(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- リエントラントフローショップ問題に対する局所探索法によるスケジューリング
- Analyzerの簡単化 (情報科学の数学的理論)
- 回転しながら軸方向に振動する円盤と静止円盤の間の半径方向隙間流れの動特性
- 24pRA-8 第一原理メタダイナミクスシミュレーションによるカルシウムIV相・V相の構造決定(グラファイト・グラフェン・高圧物性,領域7,分子性固体・有機導体)
- 30pTE-13 超高圧縮リンにおける変調構造の起源(30pTE グラファイト・高圧,領域7(分子性固体・有機導体))
- モデル検査入門
- モデル検査を用いたコンセンサスアルゴリズムの合意性検証(ネットワーク環境でのディペンダビリティ)
- Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- ホームネットワークシステムにおける連携サービスのモデル検査による検証