スポンサーリンク
琉球大学 理工学研究科 情報工学専攻 並列信頼研究室 | 論文
- 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の設計