分散計算のための局所時間性に基づく形式系
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,分散システムの動作内容と時間性を記述・解析するための形式系を提案する.この形式系は,分散システム特有の時間的特性である局所的時間性(時計)に関する概念を,既存のプロセス計算の枠組みに埋め込んだものである.これにより,局所的時計の誤差や相違による分散システムの動作内容と時間的特性への影響が明示的に解析できるようになる.本論文では,この形式系の基本概念を紹介するとともに,分散システムのための証明技法として,局所的時間性を導入した双模倣性を定式化する.この双模倣性は,不正確な時計に従う分散プロセスや,非厳密な時間的制約をもつ実時間プロセスの時間的・動作的検証を可能にする.
- 日本ソフトウェア科学会の論文
- 1994-03-15
著者
-
佐藤 一郎
慶應義塾大学文学部
-
所 真理雄
慶応大
-
所 真理雄
慶応義塾大学理工学部院
-
所 真理雄
慶應義塾大学
-
所 真理雄
慶應義塾大学理工学部:(株)ソニーコンピュータサイエンス研究所
-
所 真理雄
慶應義塾大学電気工学科
-
所 真理雄
慶應義塾大学大学院理工学研究科:(株)ソニーコンピュータサイエンス研究所
-
所 真理雄
ソニーコンピュータサイエンス研究所
-
佐藤 一郎
慶應義塾大学
関連論文
- 8.コンピュータサイエンスはいかにして人類の未来に貢献するか : オープンシステムサイエンスにおけるコンピュータサイエンスの役割(情報処理技術の未来地図,50周年記念特集号)
- オブジェクト指向計算特集の編集にあたって
- 明日のイメージコミュニケーションを考える
- 健診システムにおける「曖昧さ」の取り扱いに関するアプローチ
- マルチメディアと研究・教育
- ApertosオペレーティングシステムによるIPv6ルータの構築
- 超高精細画像マルチメディアと超高速コンピュータネットワーク実験
- SOSP-14:オペレーティングシステムに関する国際会議に参加して
- 原子オブジェクトにおける協調原子性の実現方式
- マルチバージョン原子オブジェクト
- 並行オブジェクト指向言語 : Concurrent Smalltalk
- スロット仮想空間によるオブジェクト間通信の高速化
- エージェント指向言語MALS
- パネル討論会 : オブジェクト指向の展望 : 昭和63年度後期第37回 全国大会報告
- 進化する学習エージェント集団の動的環境への適応
- 梁啓超における桐城派
- 福沢百助著『杲育堂詩稿』(五)
- 福沢百助著『杲育堂詩稿』(四)
- 福沢百助著『杲育堂詩稿』(三)
- 福沢百助著『杲育堂詩稿』(二)
- 福沢百助著『杲育堂詩稿』(一)(国史,第五〇巻記念号)
- 臼杵図書館蔵「福沢先生遺籍」解題初稿
- 中国における福沢諭吉研究 : 主として李永熾の『福沢諭吉社会思想之研究』について(批評と紹介)
- フローを考慮した経路制御機構
- マルチキャスト通信のための鍵交換プロトコルの拡張
- マルチキャスト通信のための鍵交換プロトコロルの拡張
- マルチキャスト通信のための鍵交換プロトコルの拡張
- 3次元メモリを用いた立体図形表示機構--SCOPE (画像処理特集) -- (画像の生成)
- 視線を伴った表情とのインタラクション
- 行動シミュレーションに基づいたアニメーションシステムParadise
- 「専用プロセッサの方式とシステム構成特集号」を編集するにあたって
- マルチバージョン並行オブジェクト
- トランザクション管理オブジェクトによる一貫性保証方式
- 情報学にパラダイムシフトを起こすオープンシステムサイエンス！ 情報担当者はどう理解し，どう行動すればいいのか (株)ソニーコンピュータサイエンス研究所代表取締役社長 所眞理雄氏に聞く
- 10. 技術成熟期における研究開発(1000号記念「夢・創・想・感」)
- Special Talk 特別対談 ソニー所 眞理雄氏 対 松下電器産業 櫛木好明氏--CE Linuxに託す僕らの想い (特別編集版 GLP最前線)
- 特別対談 ソニー 所眞理雄氏 対 松下電器産業 櫛木好明氏 CE Linuxに託す僕らの想い
- INTERVIEW ソニー執行役員上席常務 所眞理雄氏--ユビキタスで会社を楽しくしよう 効率最優先はデフレを加速するだけ
- ボーダレス社会と二十一世紀の教育研究
- 再会を考慮した協調方式
- イメージネットワーク
- 非均一環境における分散GAの個体移動に関する考察
- 動的環境下における学習と遺伝・進化 : ダーウィニズムとラマルキズムの比較(複雑系5)
- 進化的エージェント集団の動的環境への適応 ( マルチエージェント)
- 25年後の技術を語る
- 自己反映的分散プログラミングシステムAL-1/Dにおけるオブジェクトの動的再配置 (自己反映計算(リフレクション))
- オブジェクト指向並行プログラミング言語 (オブジェクト指向プログラミング)
- 並行オブジェクト指向知識表現言語Orient 84/K
- 計算場における分散プロセスの準最適配置
- リアルタイム通信プロトコルRtPの設計
- 分散実時間システム記述言語DROLにおける最小被害戦略の実現
- 並行オブジェクト計算のための形式系 (オブジェクト指向研究会から)
- 分散人工知能とプログラミング言語 (「分散人工知能」)
- 分散計算のための局所時間性に基づく形式系
- 離散系シミュレーションの分散時刻管理
- マルチエージェントシステム研究の目指すもの : コメントに対するコメント
- 高度情報化社会のためのソフトウェア構築方法論
- マルチエージェントシステム研究の目指すもの
- マルチエージェントシステムにおける競合回避のためのネゴシエーション手法 ( マルチエージェントと協調計算)
- 地図を用いた協調探索 : 複数エージェントの集結問題を例として ( マルチエージェントと協調計算)
- プロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味論
- 時間的特性を考慮した並列プロセスの形式的記述 (並列処理)
- ソフトウェア産業の健全な発展に向けて
- 適応化コンポジション : 開放型システムにおけるコンポジションに基づいた新しいソフトウェア構築手法 (オブジェクト指向研究会から)
- オペレーティングシステムの観点から (超並列処理)
- 自律的エージェントからなる組織の計算モデルと分散協調問題解決への応用
- カットオペレータを排除し明示的に制御を行う論理型言語 : ALEX
- データ駆動型計算機における準動的並列実行制御
- 分散型知識処理に適したオブジェクト指向ルールベース・プログラミング
- On the Working Set Concept for Data-flow Machines : Consideration on List Processing on a Hierarchical Structured Memory
- 4. 並列処理システムの展望 (並列処理技術)
- Tenth ACM Symposium on Operating Systems Principles
- Evaluation of Working Set Algorithms for Data-flow Machines(Software Science and Engineering)
- 可変構造計算機とソフトウェア・エンジニアリング
- IVERSON言語(A Programming Language)
- 診療支援システムにおける" あいまいさ" の研究