Top > Search Research paper

Search Research paper

Display results per page Option
Information provider
Research organization
Research project
Research field
IPC
Specify icons
Select data
Display option Order by

Clear

Hits 20 results

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

(1/1 page)

  • 1

PAGE TOP