マルチスレッド機構を用いたLOTOS仕様実行方式とその評価
スポンサーリンク
概要
- 論文の詳細を見る
形式記述言語LOTOSによるシステムの仕様を効率良く実行するためには,マルチランデブと呼ばれる複数並列プロセス間でのイベントの同期実行を高速に実現する必要がある.本稿では,マルチスレッド機構を用いた効率の良いLOTOS仕様の実行方式を提案する.
- 一般社団法人情報処理学会の論文
- 1995-09-20
著者
-
東野 輝夫
大阪大学 大学院情報科学研究科
-
松浦 敏雄
大阪市立大学大学院創造都市研究科
-
谷口 健一
大阪大学 基礎工学部
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
安本 慶一
滋賀大学 経済学部 情報管理学科
関連論文
- 高等学校での「プログラミング」教育の導入 : PENを用いて
- プライバシー保護と個人単一IDを両立する認証基盤の提案(セッションA-1:認証技術(1))
- P2Pネットワークを用いた移動端末からの位置情報付き映像配信システム(パラレル,インターネットと情報倫理教育,一般)
- 教育用計算機環境における認証機構
- アプリケーション層マルチキャストミドルウェアの実装とPlanetLab上での評価(セッション4 : オーバレイネットワーク)
- NGNを活用したセキュア通信提供サービスの提案
- 階層型VPNにおける仮想リンクの透過的確立手法(Internet/LAN運用管理技術,新しいパラダイムの中での分散システム/インターネット運用・管理)
- 階層型VPNにおける利用者から透過な仮想リンク構成方式の提案(セッション3)
- 階層型VPNにおける効率的なアクセスポリシ管理手法(アクセス制御・認証,再考 分散システム/インターネットの運用・管理)
- 階層型VPNのためのLDAPサーバを用いた経路制御手法(ユビキタス時代のインターネット/分散システムの構築・運用技術)(システム構築・運用技術)
- 通信プロトコルのエラーリカバリ性自動検証の一方式
- アプリケーション層マルチキャストミドルウェアの実装とPlanetLab上での評価(セッション4 : オーバレイネットワーク)
- アプリケーション層マルチキャストミドルウェアの実装とPlanetLab上での評価(セッション4 : オーバレイネットワーク)
- P2Pネットワークを用いた移動端末からの位置情報付き映像配信システム(パラレル,インターネットと情報倫理教育,一般)
- P2Pネットワークを用いた移動端末からの位置情報付き映像配信システム(パラレル,インターネットと情報倫理教育,一般)
- P2Pネットワークを用いた時刻付き位置情報管理方式の提案
- Z曲線を用いた効率的な2次元位置情報の分散管理手法の提案とその評価
- 遷移条件が状態訪問回数に依存する有限状態機械対からなる通信系の生存性検証
- 大規模教育用計算機システムにおける授業・運用支援システムの設計と実装
- 多人数教育用計算機環境におけるシステム管理の省力化の一方法
- 授業支援システムOceanの機能と実現法
- 都市街路における排気ガス量の削減を目的とする車車間通信を想定したリアルタイム信号制御手法の提案
- 時間ペトリネットモデルで記述されたサービス仕様からのプロトコル仕様の一合成法
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例
- 動作実行時刻に制約のある分散システムの全体仕様から各ノードの動作記述の自動導出
- 正則な項書換え系のマルチプロセッサ上での一実現法
- レジスタ付き時間ペトリネットで記述された分散システムの時間制約付き全体仕様からその時間制約を満たす各ノードの動作記述の自動導出(並列・分散)
- ネットワークフローを分散制御するプログラム群の一合成法
- 大阪市立大学学術情報総合センターの機能と運用管理について
- 大阪市立大学学術情報総合センター(仮称)とキャンパスLAN
- ファイルシステムを利用した透過性・汎用性の高い連続メディア情報のリモートアクセス手法(セッション1-A:情報配信)
- ファイルシステムを利用した透過性・汎用性の高い連続メディア情報のリモートアクセス手法(セッション1-A:情報配信)
- P2P 基盤ソフトウェアmusasabi の仮想ピアにおける通信方式
- 1Z-7 P2Pネットワーク上でのSkip Graphを用いたキューの実現(P2P,学生セッション,ネットワーク)
- 1Z-6 階層的クラスタを用いたDHTにおけるノード数の偏りによる影響の排除(P2P,学生セッション,ネットワーク)
- プライバシー保護と個人単一IDを両立する認証基盤の提案(セッションA-1:認証技術(1))
- P2P手法によるインターネットノードの階層的クラスタリング(ネットワークシステム運用管理技術,再考 分散システム/インターネットの運用・管理)
- 階層型VPNにおける他ドメインの証明書を用いたユーザ単位のアクセス制御(会場A)
- 分散型マルチメディアシステムSymphonyにおけるQoS指定を含んだシナリオ記述言語の設計
- ファイルアクセスAPIを用いた連続メディア情報のリモートアクセス手法(ネットワークプロトコル)
- ファイルアクセスAPIを用いた連続メディア情報のリモートアクセス手法(ネットワークプロトコル)
- メッシュ型物理トポロジのマルチホップWDMネットワークでの階層型コーダルリングネットワーク構築法の検討(次世代ネットワーク,SIP・プレゼンス,一般)
- 「次世代のインターネット/分散システムの構築・運用技術」の編集にあたって
- 無線LANにおける利用者認証機構
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- P2P基盤ソフトウェア musasabi の仮想ピアにおける通信方式
- LL-008 階層型VPNにおけるQoSおよびアクセスポリシを考慮した経路選択手法(L分野:ネットワークコンピューティング)
- P2Pによるインターネットノードの階層的クラスタリング手法の提案
- 階層型VPNにおける証明書を利用したアクセス制御手法(セッション2)
- セキュリティ対策案選択問題に対するフォールトツリー解析の応用
- 「情報教育用ソフトウェア・コンテンツはどうあるべきか?」
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- 2000年以降の情報教育
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- 初学者用プログラミング学習環境PENの実装と評価(教育用および初心者用言語,情報教育〜理念・理論・実践〜)
- マルチユーザシステムにおける利用者単位でのネットワークアクセス制御手法(アクセス制御・認証,再考 分散システム/インターネットの運用・管理)
- マルチユーザシステムにおける利用者単位でのネットワークアクセス制御手法
- アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装
- WWWクライアントを対象とした利用者単位のアクセス制御機構(e-Japan時代のインターネット/分散システムの構築運用技術)
- プログラミング入門教育用学習環境PEN
- 組込みシステムとリアルタイムシステム(「組込みシステム技術の最近の動向特集号」)
- 分散協調型無線センサノード群の実行コード自動生成
- 分散協調型無線センサノード群の実行コード自動生成
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- 確率事象駆動型モデルを利用した無線ネットワークシミュレーション高速化手法の提案
- センサネットワークアプリケーションの実装支援APIの実装と評価
- センサネットワークアプリケーションの実装支援APIの実装と評価
- センサネットワークアプリケーションの実装支援APIの実装と評価
- 特集「ユビキタス時代のインターネット/分散システムの構築・運用技術」の編集にあたって
- 24-6 統合的AV機器操作環境Violet
- SMILへのQoS保証文の導入とその柔軟な実装法(マルチメディアネットワークシステム)
- 時間拡張LOTOSの処理系を用いたSMIL記述の実行とQoS制御
- 時間拡張LOTOSの処理系を用いたSMIL記述の実行とQoS制御
- メールクライアントに修正を要しない発信者詐称防止方式
- IPアドレス/MACアドレス偽造に対応した情報コンセント不正アクセス防止方式
- 情報コンセントにおける認証とアドレス偽造防止をVLAN機能により実現するシステムLANA2
- 代数的仕様の作成・検証・実現支援システムにおける公理解析部の生成
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- ノードの移動フローを考慮したMANET上での情報共有方式とその評価(セッション8:データマネージメント)
- ノードの移動フローを考慮したMANET上での情報共有方式とその評価(セッション8:データマネージメント)
- 遅延制約のもとで安定性の高いオーバレイマルチキャスト木を構築する分散型プロトコルの提案
- 利己的なエンドノード間でマルチキャストを実現するためのインセンティブ配分法(セッション4 : オーバレイネットワーク)
- 利己的なエンドノード間でマルチキャストを実現するためのインセンティブ配分法(セッション4 : オーバレイネットワーク)
- 利己的なエンドノード間でマルチキャストを実現するためのインセンティブ配分法(セッション4 : オーバレイネットワーク)
- トポロジの多重化によりトラヒック分散を実現した階層型論理トポロジの構成法とそのルーティングアルゴリズム(映像通信,コンテンツ配信ネットワーク,マルチキャスト,一般)
- コンポーネント連携によるサービスをオーバレイネットワーク上で実現するためのサービス設計技法の提案
- アプリケーションレベルマルチキャストEmmaの性能向上に関する検討
- カラーペトリネットを用いた分散協調システムの設計とSOAPを用いた一実装法の提案
- 文脈自由プロセスに対するプロトコル合成の一手法
- イベント間の時間制約を論理式で記述できるラベル付き遷移システムとその双模倣等価性検証
- レジスタ付きペトリネットで書かれたソフトウェアプロセス記述の分散実行系
- プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化
- マルチスレッド機構を用いたLOTOS仕様実行方式とその評価
- 代数的手法を用いた回路設計支援システムにおける状態図簡約機能とその評価
- 通信系の動作記述から各局のプロトコルマシンを生成するための一方法
- 行動検出に基づく空調及び照明機器省エネルギー制御システムの性能評価手法