河野 真治 | 琉球大学 理工学研究科 情報工学専攻 並列信頼研究室
スポンサーリンク
概要
関連著者
-
河野 真治
琉球大学工学部情報工学科
-
河野 真治
琉球大学理工学研究科情報工学専攻並列信頼研究室
-
河野 真治
琉球大学 理工学研究科 情報工学専攻 並列信頼研究室
-
宮國 渡
琉球大学理工学研究科情報工学専攻
-
小林 佑亮
琉球大学工学部情報工学科
-
多賀野 海人
琉球大学工学部情報工学科
-
宮城 健太
琉球大学理工学研究科情報工学専攻
-
多賀野 海人
琉球大学
-
宮城 健太
琉球大学理工学研究科
-
与儀 健人
琉球大学理工学研究科情報工学専攻
-
神里 晃
琉球大学理工学研究科情報工学専攻
-
河野 真治
琉球大学
-
小林 佑亮
琉球大学
-
金城 裕
琉球大学
-
玉城 将士
琉球大学理工学研究科情報工学専攻
-
谷成 雄
琉球大学工学部情報工学科
-
赤嶺 悠太
琉球大学理工学研究科情報工学専攻
-
小野 雅俊
琉球大学工学部情報工学科
-
下地 篤樹
琉球大学理工学研究科情報工学専攻
-
河野 真治
琉球大学情報工学科
-
杉山 千秋
琉球大学工学部情報工学科
-
河野 真治
琉球大学理工学研究科情報工学専攻
-
淵田 良彦
琉球大学情報工学科
-
下地 篤樹
琉球大字理工学研究科情報工学専攻
-
渕田 良彦
琉球大学理工学研究科情報工学専攻
著作論文
- Cell用のFine-grain Task Managerの実装(セッション4:マルチコア向けシステムソフトウェア)
- Continuation based CコンパイラのGCC-4.2による実装(セッション2:システム構成法)
- 連邦型タプルスペースを使ったコンパクトルーティングの実験
- Cell Task Manager CeriumのSPU内データ管理
- Cell Task Manager CeriumのSPU内データ管理
- Remote Editing Protocolの実装と検証
- 連邦型Lindaによる分散アルゴリズムをデバッグするためのメタプロトコル
- Remote Editing Protocolの実装と検証
- 連邦型Lindaによる分散アルゴリズムをデバッグするためのメタプロトコル
- ソフトウェア開発における協調作業のためのアプリケーション間通信プロトコル(協調作業(2))
- リモートエディタのEclipseへの実装(並列・分散)
- Continuation based C言語によるOSシステムコールの意味記述(継続点)
- 線形時相論理によるContinuation based Cプログラムの検証(継続点)
- タブロー法を用いたContinuation based Cプログラムの検証(言語)
- Continuation based CによるPS3 Cellのシミュレーション(言語)
- ユーザーレベル通信ライブラリにおけるpacketベース通信API(カーネルとライブラリ)
- ゲームフレームワークCerium TaskManagerの改良
- ゲームフレームワークCerium TaskManagerの改良
- Cassandraを使ったスケーラビリティのあるCMSの設計
- Cassandraを使ったスケーラビリティのあるCMSの設計