TOP > 研究報告検索

研究報告検索

表示件数 詳細検索
データ提供機関
研究機関
研究制度
研究分野
IPC
マークによる絞込み
データ選択
表示オプション 表示順

リセット

該当件数 20件

No. 研究報告コード
研究報告名称
掲載日
更新日
1 R070000217 ソフトウェアを正しく作る方法と正しさを保証する方法 2008/04/11 2008/04/07
2 R070000218 高信頼Webサービス 2008/04/11 2008/04/07
3 R070000219 メタレベル・プログラミングの信頼性 2008/04/11 2008/04/07
4 R070000220 柔らかい構造で変化を受容するソフトウェア 2008/04/11 2008/04/07
5 R070000221 ユビキタス時代のソフトウェアノンストップ運用支援 2008/04/11 2008/04/07
6 R070000222 積木手法による並列プログラムの構築 2008/04/11 2008/04/07
7 R070000223 快適な実時間マルチタスク処理を実現するプロセッサ 2008/04/11 2008/04/07
8 R070000224 ゲームにおける知の創造と進化 2008/04/11 2008/04/07
9 R070000225 プログラムをときほぐす数学理論 2008/04/11 2008/04/07
10 R070000226 等式付木構造自動機械にもとづく自動検証器 2008/04/11 2008/04/07
11 R070000227 頼れるWebシステム構築のためのソフトウェアモデリング 2008/04/11 2008/04/07
12 R070000228 高信頼分散システムのためのグループ通信とその故障発見方法 2008/04/11 2008/04/07
13 R070000229 広域環境における高性能分散共有メモリ機構 2008/04/11 2008/04/07
14 R070000230 超大規模LSIを効率良く利用する超細粒度並列処理 2008/04/11 2008/04/07
15 R040000101 効率的で正しいプログラムの自動生成 2007/05/18 2005/04/07
16 R040000102 超計算:ソフトウェア自動生産のための新領域探求 2007/05/18 2005/04/07
17 R040000103 理論領域と実用領域を結ぶ新しいプログラミング単位 2007/05/18 2005/04/07
18 R040000104 インターコミュニケーション・プログラミング 2007/05/18 2005/04/07
19 R040000105 計算状態パーソナル・スクラップブック 2007/05/18 2005/04/07
20 R040000106 超高速I/O指向オペレーティングシステム 2007/05/18 2005/04/07

(1/1ページ)

  • 1

PAGE TOP