山根 孝久 | 同 臨床検査医学
スポンサーリンク
概要
論文 | ランダム
- OFC2005会議速報 : 光ファイバ, 光増幅器関連(大容量光伝送システム, 超高速伝送技術, 光増幅技術, 一般)
- LMNtalモデル検査器における状態爆発対策 (ディペンダブルコンピューティング)
- 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価 (ディペンダブルコンピューティング)
- 動的再構成可能プロセッサの離散シミュレータの開発 (コンカレント工学)
- 並行システムを解析するための逐次化と状態削減機能の実装--仕様の自動生成を目指して (コンカレント工学)