スポンサーリンク
国立情報学研究所アーキテクチャ科学研究系 | 論文
- ハードウェアによるZBDD処理の実現に関する研究
- ハードウェアによるZBDD処理の実現に関する研究
- ハードウェアによるZBDD処理の実現に関する研究
- Net Unfoldingによるタイムペトリネットの効率的解析
- 時間トレース理論に基づく非同期式回路の検証について
- フジアで情報学の「梁山泊」を造る
- BT-4-1 国内ブロードバンドトラフィックの実態(BT-4. P2Pネットワークの管理技術,チュートリアルセッション,ソサイエティ企画)
- 国内ブロードバンドトラフィックの動向(インターネットの品質評価・品質管理技術,ネットワーク品質,トラヒック計測,一般)
- 国内ブロードバンドトラフィックの動向(インターネットの品質評価・品質管理技術,ネットワーク品質,トラヒック計測,一般)
- 国内ブロードバンドトラフィックの動向(インターネットの品質評価・品質管理技術,ネットワーク品質,トラヒック計測,一般)
- ZBDDを用いた検証方式におけるpartial order reductionの適用について
- 平面上の矩形和の最大値問題の並列プログラムの導出
- ZBDDに基づく非同期回路の検証方式
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- n 安全タイムペトリネットの発火規則について
- モバイルクラウドを実現する通信性能改善技術の検討(クラウド)
スポンサーリンク