ベルリン工科大学リアルタイムシステムとロボティクス研究室に留学して(海外,ラボラトリーズ)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,筆者が1997年1月より1年間客員研究員として滞在した,ベルリン工科大リアルタイムシステムとロボティクス研究室を紹介するとともに,滞在中に訪問した研究機関など各種関連情報を報告する.
- 日本応用数理学会の論文
- 1999-03-15
著者
関連論文
- 経路依存フローグラフを用いた意味構成管理モデル
- プレスブルガー算術を用いたInfeasible Pathの検出
- 経路依存フローグラフのデータフロー計算に基づくプログラムスライス作成法
- プレスブルガー算術を用いたInfeasible Path検出の高速化技法
- 経路依存フローグラフを用いたプログラムスライシング
- プレスブルガー算術を用いたInfeasible Path検出の高速化技法
- ソフトウェア・マイグレーション向き計算環境モデルの作成法
- ソフトウェア・マイグレーション向き計算環境モデルを用いたソフトウェアの実装法
- ソフトウェア・マイグレーションのための計算環境のモデル化
- 細粒度オブジェクト空間を用いたCASEデータベースのトランザクション処理モデル
- ソフトウェア意味構成管理モデルにおけるスライシング技法を用いたプログラム解析
- 経路依存フローグラフを用いたInfeasible Path検出における計算量削減法
- 経路依存フローグラフを用いたプログラム解析システム
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フローグラフを用いたInfeasible Path検出法
- 経路依存フローグラフを用いたプログラム・スライシング
- 経路依存フロ-グラフを用いたプログラム解析 (知的ソフトウェア技術)
- 意味構成管理システムを用いた修正プログラムにおける相互干渉の検出
- ベルリン工科大学リアルタイムシステムとロボティクス研究室に留学して(海外,ラボラトリーズ)