情報処理学会 プログラミング研究会
第57回 2006-01-16 ~ 2006-01-17 産総研つくば本部
(57-1) 多値モデル検査を用いたモデル化の誤りの発見
辰巳 淳朗，亀山 幸義 (筑波大学)
(57-2) GDBとシステムモデルを用いたソースコード検証器の開発
永藤 直行 (東京工業大学)
(57-3) Python・Ruby による分散協調スレッドのための low-intrusive なデバッグ機能
小菅 圭介，小倉 正充，佐藤 規男 (金沢工業大学)
(57-4) WSRF/JMX による Grid 環境の統一的な管理機能の実装
金光 永煥，浦野 義頼 (早稲田大学)
(57-5) スレッドライブラリへの抽象状態同期の導入
大木 敦雄，久野 靖 (筑波大学)
(57-6) エンドユーザチームプログラミング環境 Robogram-STUDIO
上野 和風，村岡 洋一 (早稲田大学)
(57-7) 頻出メソッド管理テーブルを用いた invokeinterface 命令の実行高速化手法
藤本 勝平 (早稲田大学)，小松 秀昭，古関 聰 (IBM)，深澤 良彰 (早稲田大学)
(57-8) コンパイル速度の向上を目指した非反復型レジスタ割付け手法
小川健一 早稲田大 ()，片岡 正樹 (早稲田大学)，小松 秀昭，古関 聰 (IBM)，深澤 良彰 (早稲田大学)
(57-9) リージョン変数の動的なエイリアス判定によるメモリ効率向上
米田 匡史，鵜川 始陽，花井 亮，八杉 昌宏，湯淺 太一 (京都大学)
(57-10) Java における例外処理の実行時情報を利用した最適化
廣澤 健，片岡 正樹 (早稲田大学)，古関 聰，小松 秀昭 (IBM)，深澤 良彰 (早稲田大学)
(57-11) 分散オブジェクト技術によるプログラムのπ計算への変換
山口 将志，加藤 暢，樋口 昌宏 (近畿大学)