直井 邦彰 | NTTソフトウェア研究所
スポンサーリンク
概要
関連著者
-
直井 邦彰
NTTソフトウェア研究所
-
高橋 直久
NTTソフトウェア研究所
-
八木 哲
Ntt未来ねっと研究所
-
八木 哲
NTTソフトウェア研究所
-
高橋 直久
NTT光ネットワークシステム研究所
-
高橋 直久
Nttソフトウェア研究所:ntt武蔵野研究開発センタ
-
直井 邦彰
Nttソフトウェア研究所:(現)ntt移動通信網株式会社モバイルコンピューティングビジネス部
著作論文
- 経路依存フローグラフを用いた意味構成管理モデル
- プレスブルガー算術を用いたInfeasible Pathの検出
- 経路依存フローグラフのデータフロー計算に基づくプログラムスライス作成法
- プレスブルガー算術を用いたInfeasible Path検出の高速化技法
- 経路依存フローグラフを用いたプログラムスライシング
- プレスブルガー算術を用いたInfeasible Path検出の高速化技法
- ソフトウェア・マイグレーション向き計算環境モデルの作成法
- ソフトウェア・マイグレーション向き計算環境モデルを用いたソフトウェアの実装法
- ソフトウェア・マイグレーションのための計算環境のモデル化
- 細粒度オブジェクト空間を用いたCASEデータベースのトランザクション処理モデル
- ソフトウェア意味構成管理モデルにおけるスライシング技法を用いたプログラム解析
- 経路依存フローグラフを用いたInfeasible Path検出における計算量削減法
- 経路依存フローグラフを用いたプログラム解析システム
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フローグラフを用いたInfeasible Path検出法
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フロ-グラフを用いたプログラム解析 (知的ソフトウェア技術)
- 意味構成管理システムを用いた修正プログラムにおける相互干渉の検出
- ベルリン工科大学リアルタイムシステムとロボティクス研究室に留学して(海外,ラボラトリーズ)