Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
スポンサーリンク
概要
著者
-
佐藤 豊
電子技術総合研究所情報アーキテクチャ部
-
大蒔 和仁
電子技術総合研究所
-
中田 秀基
電子技術総合研究所
-
中田 秀基
電総研
-
磯部 祥尚
電子技術総合研究所
-
佐藤 豊
電子技術総合研究所 情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所
-
大蒔 和仁
電総研
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
関連論文
- 複数拠点にまたがるe-Scienceアプリケーション環境構築を目的としたソフトウェア導入・管理機構(並列・分散システム,システム開発論文)
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 複数ドメイン環境でQoSを保証するクラウドのための資源管理フレームワーク(クラウド、グリッド・P2P)
- ネットワーク帯域予約を用いた分散アプリケーション実行環境の構築(クラウド、グリッド・P2P)
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 国際標準に基づく形式的仕様記述LOTOSの支援環境(1) : 設計概要[INTAP研究開発委員会プロトコル形式記述WG]
- Javaによるソフトウェア分散共有メモリシステムの構築
- Java向けソフトウェア分散共有メモリの実現
- 2000-HPC-81-13 Network Enabled Server System の設計
- 2000-HPC-81-11 Jiniを用いたComputing Portal Systemの開発
- グローバルコンピューティングのスケジューリングのための性能評価システム(並列処理)
- グローバルコンピューティングのためのスケジューリングフレームワーク(並列処理)
- クライアント・サーバ型のグローバルコンピューティングシステムの比較 : Ninf, NetSolve, CORBA, Ninf-on-Globusの性能評価
- グローバルコンピューティングシステムNinfを用いた数値流体解析コンポーネントnetCFD
- Javaによる大域的並列計算環境Ninflet (並列処理)
- グローバルコンピューティングシステムのシミュレーションによる評価 (並列処理)
- Ninfによる遠隔計算資源アクセスシステムの構築とグローバルコンピューティングシステムの性能評価
- グローバルコンピューティングシミュレータの概要
- 広域計算システムNinfにおけるユーザ認証
- Ninfシステムにおけるジョブスケジューラの実装と予備的評価
- 複数クライアントによるLAN/WANでのNinfの性能(並列処理)
- Ninfによる広域分散並列計算(並列処理)
- 高性能広域計算システムNinfのスケジューリングに関する予備的考察
- Ninfによる広域分散並列計算
- ネットワーク数値情報システムNinf : マルチクライアント環境での性能
- ネットワーク数値情報ライブラリ : Ninfを用いた数値計算環境システムの開発 : NinfCalcの試作
- 分散メモリ計算機用Ninf APIの実現に向けて
- ネットワーク数値情報ライブラリNinf : システム実装と評価
- Parallel STLによる並列プログラミング
- ネットワーク数値ライブラリNinfにおけるメタサーバアーキテクチャ
- 2.Googleのクラウド技術(クラウドの事例紹介,クラウドコンピューティング)
- 仕様記述過程モデル化のための実験と分析
- 既存VMMへの適用が容易でゲスト透過なポストコピー型仮想マシン再配置機構
- 高速マイグレーションを利用した仮想マシン配置最適化システムの検討
- 高速フラッシュメモリに適したキーバリューストアの予備的評価
- 性能を保証する分散実行環境のためのオンラインコアロケーション手法
- クラウドコンピューティングの性能評価
- クラウドコンピューティングの性能評価
- 高速フラッシュメモリ向けMapReduceフレームワークの実現に向けて
- ファイアウォールに対応したGlobusによる広域クラスタシステムの構築とその評価
- 2000-HPC-81-12 Firewellに対応したGlobusによる広域クラスタシステムの構築と性能評価
- GlobusにおけるResource Managerの試作 : グローバルコンピューティング環境の構築に向けて
- 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- 仮想計算機パッキングへの最適化手法の適用(2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- 仮想計算機メモリの遅延再配置による高速ライブマイグレーション
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- Ninfによる遠隔計算資源アクセスシステムの構築とグローバルコンピューティングシステムの性能評価
- Ninfによる遠隔計算資源アクセスシステムの構築とグローバルコンピューティングシステムの性能評価
- 大規模資源の管理・制御に関する技術の実証実験 : 新世代ネットワークプラットフォームの実現に向けて(ネットワーク品質,トラヒック計測,サービス品質,一般)
- オペレーティング・システム、データベース・システム、プログラミング言語の役割と接点
- 並列計算機PIE64における Committed-choice型言語Flengの負荷分散手法
- Committed-Choice型言語Flengにおける静的負荷分割のPIE64上での実装および評価
- ゴールの融合によるCommitted-Choice型言語Flengの最適化
- PIE64におけるCommitted-Choice型言語flengの動的粒度制御のためのコンパイル手法
- flengの動的粒度制御のための静的解析手法
- データフロー解析に基づくCommitted-Choice型言語Flengの静的負荷分割
- データフロー解闘斤に基づくCommitted Choice型言語のスヶジューリング
- 高並列推論エンジンPIE64研究経過報告 : ソフトウェア
- Committed-Choice型言語へのオブジェクトの導入
- UDEC-IIにおける直接実行アルゴリズムの設計
- グローバルコンピューティングシミュレータの概要
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 複数画面をもつプログラミング環境MDPS
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- ネットワーク計算用行列工房 : Matrix Workshopによる性能評価システム
- 離接演算子をもつLOTOS仕様における偶発性
- 離接演算子をもつLOTOS仕様における偶発性
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- プロトコル中継システムDeleGateの開発ストーリー(ものを作るこころ(第23回))
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- 現実の並行システムへのプロセス代数の応用 : 経験と課題
- 分散オブジェクト指向UIMSの実行時アーキテクチャの設計と実現
- 分散オブジェクト指向UIMSの実行時ア-キテクチャの設計と実現 (柔構造情報処理方式に関する研究)
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- 精密ソフトウェア工学のすすめ
- HTTPメッセージのコンテンツ変換を行う共通フィルタサーバの設計と試作(システム分野)
- インターネット防火壁の基礎技術と応用 : DeleGateの仕組み
- 5. 事例 5.2 多重言語を指向する統合プログラミングシステムの開発経験 (<大特集>新しいプログラミング環境)
- ソフトウェアにおける信頼性 (高信頼化技術)
- 動的ネットワークパスプロビジョニングの相互運用技術 : G-lambdaシステムとGLIF Feniusの連携(ネットワーク管理/制御/設計)
- 形式仕様記述言語LOTOSの試用経験
- もっと戦略的になろう (インタラクティブ・エッセイ)
- いまどきのプロジェクト (インタラクティブ・エッセイ)
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- プルーバブル情報ベース技術の確立を目指して
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- プロセス論理演算子をもつプロセス代数
- ソフトウェア作成技術