プロセス代数に基づく並列プログラムの最適化
スポンサーリンク
概要
- 論文の詳細を見る
本研究では並列プログラムの最適化を検証するための理論体系を提案していく。これはブログラム中の通信を記述するためのプロセス代数と、それに基づく代数的順序関係を中心にして定式化される。この順序関係は並列プログラムを同期及び通信のタイミングを基準にしてその実行速度を比較するものであり、並列計算の性能解析に対して理論的基礎を提供するとともに、プログラム最適化による動作内容と実行速度への影響をに解析できるようにする。本稿ではこの理論体系の初期的な成果を概説する。並列ブログラムの最適化への応用を展望する。
- 一般社団法人情報処理学会の論文
- 1997-08-21
著者
関連論文
- コンピュータサイエンスによる物流トラックの温室効果ガス排出削減
- ICタグによるCO_2排出量取引
- サウンドスポット : 博物館の展示支援向け局所音声再生システム(教育システムにおけるプラットホームとコンテンツ開発論文)
- 博物館向けコンテキスト依存サービスにおけるM-Spaces空間モデルの実証実験(モバイルコンピューティング,情報洪水時代のネットワークサービス)
- 3B2-I2 サウンドスポット : 博物館の展示支援向けスピーカーアレイセンサシステム(ITを使ったインタラクションのある学習のデザイン,自主企画課題研究,日本科学教育学会 第30回年会論文集)
- 2A1-H1 サウンドスポット : スピーカーアレイ技術による次世代音声展示支援システム(サイエンスコミュニケーション活性化のための博物館・科学館の新しいチャレンジ,学会企画課題研究,日本科学教育学会 第30回年会論文集)
- 海外の携帯電話業界事情
- 35歳定年説
- MobiDoc: ネットワークを考慮した複合ドキュメントフレームワーク(ネットワークアプリケーション)(新時代の分散処理とネットワーク(WebサービスとP2P))
- スマートスペースのプログラミングモデル(ユビキタスコンピューティング)(次世代移動体通信システム)
- RFIDタグ:技術動向と影響(スマートタグ)
- Webプロトコルを用いたホームコンピューティングミドルウェアの統合(組み込み機器とネットワークシステム)
- (モバイルエージェント)モバイルエージェントの経路記述と選択機構(オブジェクト指向技術)
- モバイルエージェントを用いたセンサネットワーク向けフレームワーク
- モバイルエージェントを用いたセンサネットワーク向けフレームワーク(高速ネットワークとマルチメディアアプリケーション)
- SpatialAgents : Integrating User Mobility and Program Mobility in Ubiquitous Computing Environments
- ユーザ追随型モバイルエージェントフレームワーク"FollowingSpace"の提案と応用(次世代移動通信ネットワークとその応用)
- Flying Emulator : 携帯端末用ソフトウェアの開発試験環境(次世代移動通信ネットワークとその応用)
- Reusable Mobile Agents for Managing Networks (特集 e-Japan時代のインターネット/分散システムの構築・運用技術)
- モバイルエージェント技術と研究動向 (情報プラットフォーム)
- ソフトウェア技術を利用したCO2排出削減(「グリーンAI」及び一般)
- 個人レベル排出量取引
- ソフトウェア技術を利用したCO2排出削減
- 35歳定年説(サイバー増大号)
- JACICミニ講座 ICタグとは
- プロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味論
- 時間的特性を考慮した並列プロセスの形式的記述 (並列処理)
- モバイルエージェントの実世界応用と携帯端末の利用
- ICTを利用した小口で簡易な排出権取引
- モバイルエージェント
- FAQモバイルエージェント(特集・新世紀フォーラム)
- モバイルエージェントの動向 (「モバイルコンピューティングとエージェント」)
- AgentSpace:高階モーバイルエージェントシステム
- AgentSpace: 高階モーバイルエージェントシステム
- AgentSpace : 高階モーバイルエージェントシステム(並列・分散)
- プロセス代数に基づく並列プログラムの最適化