スポンサーリンク
電気通信大学情報工学科 | 論文
- D-10-1 教育用プロセッサMinIPSの設計誤り検出システム(D-10. ディペンダブルコンピューティング)
- 分散要求管理を用いるアクティビティ方式並列実行機構
- ストリームベースXML処理を支援するJavaクラス生成器
- コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 4. ソフトウェアから見た命令セットアーキテクチャ 4.1 コンパイラと命令セットアーキテクチャ (命令セットアーキテクチャ)
- 意味モデルに基づくコード生成方式
- 正則な状態遷移図の全遷移を網羅するテストデータ生成アルゴリズム
- 量子情報理論とその応用論文小特集の発行にあたって(量子情報理論とその応用)
- Some Results for Cluster Traveling Salesperson Problem
- ある拡張された巡回セールスマン問題について
- The algorithmic aspect of "probabilistic method independent number theorem"
- ある種のグラフ問題に対するsearchとdecisionのギャップについて
- ICIAM 2007参加記(学術会合報告)
- D-1-2 「ストーンヘンジ」の先手必勝性と一般化ストーンへンジのPSPACE完全性(D-1. コンピュテーション,一般セッション)
- D-1-9 区間グラフのOBDD表現について(D-1. コンピュテーション, 情報・システム1)
- Network IDSの攻撃検知情報を利用したサーバの安全性向上(セキュリティ)
- プログラムの更新を可能とする Checkpoint/Restart 機構
- 垂直記録媒体、長手記録媒体の熱揺らぎのモンテカルロシミュレーション
- 垂直記録媒体、長手記録媒体の熱揺らぎのモンテカルロシミュレーション
- Bag-of-keypointsによるTRECVIDデータに対する映像認識(卒論セッション)