スポンサーリンク
国立情報学研究所アーキテクチャ科学研究系 | 論文
- 資源制約に基づく高位非同期式回路仕様の変換について(ディペンダブルコンピュータシステム及び一般)
- 木変換言語の双方向化に関する事例研究(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 1ZE-6 分散協調監視アーキテクチャにおける拠点間の攻撃情報通知フレームワークの開発と評価(ネットワークセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 6ZA-1 パケットカウントの分布に基づくDarknetトラフィックの解析(システム蓮用・管理(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 編集にあたって(研究会推薦博士論文速報)
- 編集にあたって(研究会推薦博士論文速報)
- 編集にあたって(研究会推薦博士論文速報)
- 「不惑」の中国若手研究リーダーたち
- スケルトン並列プログラミング
- 最適化機構を持つC++並列スケルトンライブラリ(サイバー増大ページ論文概要,サイバー増大号)
- Joseph E. Stoy : Denotational Semantic: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977(20世紀の名著名論)
- エクストリームプログラミングがもたらすアジャイルなソフトウェア開発(学生/教養のページ)
- 非同期式回路の検証におけるIivenessクラスに関する考察
- 非同期式回路の検証におけるlivenessクラスに関する考察
- しりとりゲームの数理的解析(ゲームプログラミング)
- 変換戦略の記述に基づくプログラムの自動生成システムの実装
- 最小属性値を持つ多次元探索木の提案.
- VLAN環境における分散仮想ルーティングに関する一考察(仮想化)
- 蓄積引数を持つ関数プログラムの融合変換
- 関数プログラムのプロモーション変換のための二手法の関係
スポンサーリンク