スポンサーリンク
北陸先端科学技術大学院大 | 論文
- データドメインの詳細化に基づくプログラムの段階的構成法
- 分散環境上の耐故障ソフトウェアにおける通信の設計と実装
- 疎結合分散環境におけるプロセッサ割り当てに関する考察
- 耐故障ソフトウェアのための安定記憶の構成方法 : 並列関数型言語CMLによる実装
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障ソフトウェアのための計算モデルFTAGの並列関数型言語による実装
- ソフトウェアプロセス適応のための形式的モデル
- 多重計算木を使用した属性付き関数型計算モデルによるソフトウェア耐故障性の実現
- 2.代表的なプロセス記述言語の特徴 : 共通例題による比較 (ソフトウェアプロセス)
- 共通例題 ソフトウェアプロセスモデリングのための例題(付録) (ソフトウェアプロセス)
- 属性付き関数型計算モデルによるフォールトトレランスの実現
- 広域・大規模アプリケーションと実験活動(生きたインターネット研究への取り組みと成果)
- 1-ブタノ-ルを結晶化調整剤とするZSM-5型ゼオライトの合成とその性質
- 高速高精度知的認識システムSEIUN
- 特徴ベクトルの分割と統合による手書き文字の大分類
- 10年間の技術の進歩 溶融体基体特性- 10年の進歩-
- 特別記事 北陸先端科学技術大学院大学における先端的ナノテクノロジー研究(2)ナノケミストリー
- 有限要素法による母音の声道中の伝播経路