https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=2396
9(1996-PRO-011)
情報学広場:情報処理学会電子図書館
2009-06-23T00:00:00+09:00
2009-06-23T00:00:00+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30259&itemNo=1
石井, 裕一郎
石井裕一郎
武市, 正人
武市正人
擬データと関数による並行プロセス群の記述 (並列・分散)
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30260&itemNo=1
伊藤利純
村上, 昌己
村上昌己
モーバイルプロセスの失敗例意味論を用いた等価性判別 (並列・分散)
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30261&itemNo=1
金村星吉
上田, 賀一
上田賀一
並行オブジェクト指向言語COOLの開発 (並列・分散)
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30262&itemNo=1
稲永健太郎
日下部, 茂
日下部茂
雨宮, 真人
雨宮真人
分散メモリ実装におけるデータフロー言語の構造データ管理方式 (並列・分散)
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30263&itemNo=1
前田, 利之
前田利之
荒川, 博
荒川博
栄藤, 稔
栄藤稔
千原, 國宏
千原國宏
自律分散画像サーバーの構築 (並列・分散)
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30264&itemNo=1
清水, 尚彦
清水尚彦
分散メモリ並列プロセッサおよびネットワーク接続ワークステーションにおけるパイプライン・ガウス・ザイデル法による偏微分方程式の並列解法 (並列・分散)
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30265&itemNo=1
赤沢, 聡
赤沢聡
高山, 幸秀
高山幸秀
線型論理・π-計算による構成的プログラミング・システム (並列・分散)
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30266&itemNo=1
孫志太
大原, 茂之
大原茂之
澤田, 勉
澤田勉
予約付きセマフォによるデッドロックの回避
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30267&itemNo=1
admin
サーキットスイッチングモデルにおけるハイパーキューブブロードキャスティング
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30268&itemNo=1
梶原, 由香
梶原由香
岩崎, 至宏
岩崎至宏
小保方幸次
船生, 豊
船生豊
五十嵐, 善英
五十嵐善英
ビザンチン故障を考慮したトーラスにおける耐故障ブロードキャスト
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30269&itemNo=1
上田, 英一郎
上田英一郎
片山, 喜章
片山喜章
増澤, 利光
増澤利光
藤原, 秀雄
藤原秀雄
安定後の1故障を考慮したリングでの自己安定相互排除プロトコル (並列・分散)
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30270&itemNo=1
守屋, 宣
守屋宣
井上, 美智子
井上美智子
増澤, 利光
増澤利光
藤原, 秀雄
藤原秀雄
共有メモリマルチプロセッサシステムにおける同期時間最適な無待機時計合わせプロトコル
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30271&itemNo=1
鈴木, 晃
鈴木晃
結縁祥治
坂部, 俊樹
坂部俊樹
稲垣, 康善
稲垣康善
SCCS動作式に対するunfold変換によるLTSモデルの効率的な構成法 (並列・分散)
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30272&itemNo=1
北川, 拓
北川拓
渡辺, 坦
渡辺坦
手続き型言語での再帰の除去について
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30273&itemNo=1
五味, 弘
五味弘
大山口, 通夫
大山口通夫
太田, 義勝
太田義勝
ルートE重なりな深さ保存項書き換えシステムのチャーチ・ロッサー性について
2009-06-30T06:37:12+09:00
2009-06-30T06:37:12+09:00