変数オリエンティッドなデータ依存関係モデルの提案
スポンサーリンク
概要
- 論文の詳細を見る
プログラムを特徴づける性質の一つとしてデータ依存関係がある. これまで, データ依存関係は, ソースプログラムの文の間の関係としてコンパイラの内部表現で表されていた. しかし近年, ユーザによるプログラムの理解, 最適化や並列化の観点から, ユーザによるデータ依存関係の理解が重要性を増している. そこで本論文では, ユーザへのデータ依存関係の提示を主目的として, 変数を中心としてデータ依存関係を記述するモデルを提案し, それを用いたデータ依存関係の視覚化法について述べる. また, 提案するデータ依存関係の表現法と従来の表現法との対応について述べる.
- 一般社団法人情報処理学会の論文
- 1999-02-15
著者
関連論文
- 周期性を持つ非同期通信システムのモデリングに関する研究(モデリング(学生セッション))
- ATM over IPの実現と性能評価
- ATM over IP の実現と性能評価
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- 統一的中間表現を用いた自動並列化コンパイラの実装 : ソースコードから統一的中間表現への変換
- IPマルチキャストを用いたユーザ認証つきインターネット放送システム(高速ネットワークとマルチメディアアプリケーション)
- IPマルチキャストを用いた放送システムにおけるPay Per Viewの実現
- 測定可能な個人プロセスを対象とした形式手法導入に関する提案(形式手法(学生セッション))
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- プロトコルスタックをバイパスするMyrinet用ソケット通信機構
- 多段のファイアウォールを越えるPPP/PPTP中継システムの実装と評価(e-Japan時代のインターネット/分散システムの構築運用技術)
- 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて
- オブジェクト指向形式仕様記述言語VDM++支援ツールVDMTools(ソフトウェア紹介,先端ソフトウェアツール)
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- 状態遷移図の同期モデルへの詳細化および検証手法
- プロジェクトマネジメント学会九州支部活動報告
- プロジェクトマネジメント学会九州支部活動報告(Mail to PM)
- プロジェクトマネジメント学会九州支部活動報告
- 多重同時最適制御に解放する方式の実装(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- NaraViewのParafrase-2との連携における効果的な並列化支援
- 柔軟なネットワーク管理フレームワークを提供するトラブルチケットシステムの構築(ネットワーク管理)(インターネットアーキテクチャ技術論文)
- IPマルチキャストを用いたユーザー認証つきインターネット放送システム
- WindowsNT上でのクロス開発環境を目指す並列化支援ツールの開発
- 変数オリエンティッドなデータ依存関係モデルの提案
- 変数オリエンティッドなデータ依存関係モデルの提案
- 並列化支援視覚化システム NaraViewにおけるビュー間の連携方式について
- 並列化支援のためのデータ依存の3次元視覚化
- タンパク質分子構造を例とする高性能計算結果の可視化システムの試作
- 連想記憶と進化過程
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)
- 大規模な産学連携による高度ICT人材教育におけるインターンシップの役割とその効果
- 1. フォーマルメソッドの過去・現在・未来 : 適用の実践に向けて(Part I:歴史と概要,フォーマルメソッドの新潮流)
- ロボット制御ソフトウェアの形式的モデル検証
- 背表紙画像を用いたネットワーク透過な仮想書架
- エニキャストを用いた自動車のための地域別緊急通報システムの実現(アドホックネットワーク, ユビキタスITSとモバイルアプリケーション)
- 形式仕様記述における階層アーキテクチャ
- エニキャストを用いた位置依存グループウェアの設計と実装
- ユビキタス環境を活用した位置に基づくグループウェア
- ユビキタス環境を活用した位置に基づくグループウェア
- Ada並列プログラムのためのグラフィック表示を用いた実行再演ツール
- 5. 無線による地域ネットワーク実験 : 都市コミュニティの新しいかたち (地域ネットワークの新しい展開)
- IPマルチキャストを用いた放送システムにおけるPay Per Viewの実現
- 資源予約可能なインターネット上でのビデオ放送システムの提案と実装
- インターネット動画配送システムの設計とその応答性の評価
- インターネットにおけるQoS保証された動画配送システムの設計と実装
- ATMネットワーク上での動画配送アプリケーションの評価
- インターネット上でのサービスの品質の保証と動画像配送システムへの対応
- インターネット上でのサービスの品質の保証と動画像配送システムへの対応
- インターネット上でのサービスの品質の保証と動画像配送システムへの対応
- RSVPを用いたVoD配送システムモデルの提案
- RSVPを用いた動画アプリケーションについて
- プロトコル選択方式による高信頼性マルチキャスト通信の評価(マルチメディアコミュニケーションシステム)
- 九州ギガポッププロジェクトの概要
- 九州ギガポッププロジェクトの概要
- マルチキャスト認証機構を付加したMusicCast/ASの構築
- マルチキャスト認証機構を付加したMusicCast/ASの構築
- ネットワーク型不正コンテンツフィルタの提案
- PCクラスタを対象とするループレベル並列化機能を有するMIRAIコンパイラにおけるループ再構築部の実装
- 自動並列化コンパイラMIRAIにおけるループ再構築部の設計と実現方法
- 自動並列化コンパイラMIRAIにおける配列データ依存解析部の実現方式
- 自動並列化コンパイラMIRAIにおける配列データ依存解析部の実現方式
- 配列データに関する依存解析のための整数解探索
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- 分散共有メモリの形式的仕様記述について
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- ニューラルネットワークによるプログラム分割アルゴリズムの改善
- 実用的な近似解を与えるプログラム分割アルゴリズム
- 実用的な近似解を与えるプログラム分割アルゴリズム
- SSLプロトコルの形式仕様記述と検証
- SSLプロトコルの形式仕様記述と検証
- EPGA実装型光通信ネットワークインタフェースによるソフトウェア分散共有メモリシステムの実装と評価
- FPGA実装型光通信ネットワークインタフェースによるソフトウェア分散共有メモリシステムの実装と評価
- プログラムスライシングのVRMLへの導入とその改良
- VRMLにおけるプログラムスライシングとその利用
- プログラムスライシングのVRMLへの導入とその改良
- Implementation of the High-level Parallel Programming Language Nano-2
- 等式分割を用いた配列データ依存解析手法
- 無線LANホットスポット向け簡易個人認証システム
- 分散共有メモリシステムにおけるWave Front法を用いたタンパク質のホモロジー解析の並列化
- ソフトウェアDSMの高速化を目的とした通信プロトコルWindの設計と実装
- 分散共有メモリシステムにおけるWave Front法を用いたタンパク質のホモロジー解析の並列化
- ソフトウェアDSMの高速化を目的とした通信プロトコルWindの設計と実装
- 高速通信ライブラリWindを用いたソフトウエア分散共有メモリシステムFagusの性能評価
- 2000-OS-85-7 コンパイラによる制御が可能なDSMシステムFagusの実現
- VDM記述からのPromela記述生成における変換手法の提案
- TCPセッション管理によるDoS耐性の考察
- データ型に着目した形式仕様記述からの状態遷移系の抽出(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 信用情報と利用ポリシーの管理が可能な相互認証を実現する認証基盤の提案(マルチメディア通信と分散処理)
- オブジェクト指向に基づくスカラ拡張の適用条件のクラス化
- オブジェクト指向の枠組によるループ並列化記述
- PDPTA'98
- ループ最小並列実行時間算出の一手法
- 剰余区間演算 : データフロー解析のための数学的ツール
- データ分割配置を考慮するループディストリビューション
- A Combined Data and Program Partitioning Algorithm for Distributed Memory Multiprocessors
- 形式手法導入のための産学連携PBLの活用
- 設計時の決定における依存関係の表記法