「情報処理学会論文誌 : プログラミング」の編集について
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2004-07-15
著者
-
八杉 昌宏
京都大学大学院情報学研究科
-
高橋 和子
関西学院大学理工学部
-
小川 宏高
産業技術総合研究所
-
田浦 健次朗
東京大学
-
高木 浩光
産業技術総合研究所
-
前田 敦司
筑波大学
-
小野寺 民也
日本アイ･ビｰ･エム
-
前田 敦司
筑波大学システム情報工学研究科
-
岩崎 英哉
電気通信大学
-
柴山 悦哉
東京工業大学大学院情報処理工学研究科数理・計算科学専攻
-
高木 浩光
電子技術総合研究所
-
高木 浩光
電総研
-
高木 浩光
名古屋工業大学
-
富樫 敦
宮城大学
-
高木 浩光
名古屋工業大学工学部電気情報工学科
-
長谷川 立
東京大学
-
高橋 和子
関西学院大学
-
渡部 卓雄
東京工業大学
-
小川 瑞史
北陸先端科学技術大学院大学
-
小川 瑞史
Ntt
-
原田 康徳
Ntt
-
高木 浩光
(独)産業技術総合研究所情報セキュリティ研究センター
-
小川 瑞史
Ntt ソフトウェア研究所
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
結縁 祥治
名古屋大学 情報科学研究科
関連論文
- L-Closure:安全な計算状態操作機構(平成21年度論文賞の受賞論文紹介)
- 知識変更を伴う議論システム
- 仮想計算機遠隔マイグレーションに対応するストレージ提供手法の比較検討(ストレージシステム,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2009))
- 複数拠点に分散配置されたクラスタの効率的な管理手法(セッション6:分散システム)
- 鉄道信号システムの連動装置の形式的検証向けモデル化と検証環境構築(ソフトウェア基礎, プログラム理論)
- グリッド用シェルGXPの長時間計算のための拡張(HPC-17 : グリッド)
- L-Closure : 高性能・高信頼プログラミング言語の実装向け言語機構
- 階層的グループ化に基づくコピー型ごみ集めによる局所性改善
- 対訳辞書のグラフ表現を用いた日英対訳テキストの発見(文書処理,質問応答)
- 共有メモリプログラミングのための拡張C言語
- 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
- ステートレス仮想クラスタの構想(クラスタと省電力技術)
- 仮想クラスタ管理システムの設計と実装(仮想化)
- 並列処理のための効率的なトポロジ推定(HPC-10 : 適応環境での通信)
- 仮想クラスタ遠隔ライブマイグレーションにおけるストレージアクセス最適化機構(HPC-2:仮想クラスタ,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 3.Javaにおける並列プログラミングサポート(マルチコアを活かすお手軽並列プログラミング)
- 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計
- グリッドチャレンジテストベッドの構築と運用 : グリチャレテストベッドの作り方(HPC-3 : 大規模運用システム(1))
- グリッドコンピューティングにおけるモニタリングシステムの自律的構成(HPC-6 : ジョブスケジューリング)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- 並列オブジェクト指向言語のマルチコンピュータ上における効率的な実装法
- 構成的理論に基づいたプログラミング言語Zとその実装
- 帰納的アプローチに基づく理想的電子現金方式のモデル化および証明支援系Isabelle/HOLによる安全性の証明
- L-Closureを用いた真に末尾再帰的なSchemeインタプリタ
- 電子現金の分割利用可能性の形式化と帰納的証明
- 高速フラッシュメモリに適したキーバリューストアの予備的評価
- 高速フラッシュメモリ向けMapReduceフレームワークの実現に向けて
- リターンバリア型実時間ごみ集めの抽象モデル検査
- Cache-conscious階層的グループ化データ配置法:Cache-oblivious配置法との実験的比較
- タプル空間によるブラウザ間通信を備えたScheme処理系の開発
- リージョン変数の動的なエイリアス判定によるメモリ効率向上
- 遅延分割型負荷分散フレームワークの試験実装
- スタックベースのML処理系における効率的な一級継続の実装
- S式ベースC言語における変形規則による言語拡張機構
- 実時間処理に適したメモリ管理を行うLisp処理系の設計と実装
- 入れ子関数を利用する動的負荷分散と高水準記述(言語処理系)
- 細粒度マルチスレッド言語における例外処理の効率良い実装
- 組み込みシステムにおける複数のフリーリストに割り振るメモリ量の最適化
- 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
- 並行オブジェクトのための型システムとコンパイル技法
- バックトラックに基づく負荷分散のT2K並列環境における評価
- Symmetry Reductionを使ったAISの確率付きモデル検査
- 仮想計算機遠隔ライブマイグレーションのための透過的なストレージ再配置機構
- 仮想計算機遠隔マイグレーションに対応するストレージ提供手法の比較検討(ストレージシステム,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2009))
- 仮想クラスタ遠隔ライブマイグレーションにむけた仮想計算機ストレージの透過的再配置機構の評価(クラスタとグリッド技術)
- 仮想クラスタのステートレス化のためのRocks5ディスクレス化機構(HPC-2:仮想クラスタ,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 定性空間推論の新しい枠組DLCSとその上での操作
- バックトラックに基づく負荷分散の高並列環境における評価
- オブジェクト指向並列言語OPAのための遅延正規化手法
- 遅延タスク生成の反復計算向け拡張(並列処理)
- オブジェクト指向並列言語OPAのためのコード生成手法
- 3Z-7 並列言語OPAにおける一貫性制御に対応した差分プログラミング
- Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入
- Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入
- 仮想クラスタに対するIPストレージの提供方法の比較(仮想クラスタ,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2007))
- 仮想クラスタに対するIPストレージの提供方法の比較(仮想クラスタ,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2007))
- グリッドデータファームとGNET-1による日米間高速ファイル複製(グリッド基盤システム)
- Highly Reliable Embedded Software Development Using Advanced Software Technologies(Software Engineering for Embedded Systems)
- 2ZP-2 バックトラックに基づく負荷分散の広域分散環境における評価(情報爆発時代における分散処理と運用技術,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 共有メモリ向けプリミティブとそのGCCを使った実現
- 矩形領域に基づく定性空間推論の提案と実装
- 凹凸情報と接触パターンに基づく定性空間表現
- 定理証明器による電子現金プロトコルの検証
- 信念改竄によるばれない嘘の生成
- 輻輳問題を考慮したモバイルエージェントによるアドホックネットワークルーティング(モバイル・アドホックネットワーク(1))
- 定性空間表現の二次元平面への埋め込みについて
- 定性空間表現の二次元平面への埋め込みについて
- ボードゲームBAOにおける周期的動作の解析
- ボードゲームBAOにおける周期的動作の解析(数理モデル一般)
- ボードゲームBAOにおける周期的動作の解析
- ボードゲームBAOのCCSによる記述と解析
- 性質の伝播に関する定性空間推論
- モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張
- 2. 広がるすきま : E. M. ForsterのHowards End, "Only connect..."からA Passage to India, "Perhaps!"へ(日本英文学会第73回大会報告)
- 空間に埋め込まれた意味情報の記述
- マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
- マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
- 入れ子関数を利用した動的負荷分散
- Java上のScheme処理系「ぶぶ」における単一のクラスローダを用いたオブジェクトシステムの実装
- 3Z-6 並列Schemeにおける即時タスク生成法と遅延タスク生成法の融合
- リターン・バリア
- 既存Cヘッダファイルの構文の異なる言語での有効利用(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 継続の生成におけるスタックコピーの遅延
- SchemeにおけるEvaluation Strategyの設計と実装
- 4L-6 ISLISPコンパイラの実装
- ワークスティーリングフレームワークにおけるブロードキャスト機能
- 合成ベンチマークによるMapReduceのI/O性能評価手法
- A Transformation-Based Implementation of Lightweight Nested Functions
- Efficient and Portable Implementation of Java-style Exception Handling in C
- 適応的オブジェクトによる排他制御の実行時緩和 (並列処理)
- 入れ子関数を利用したマルチスレッドの実現
- Javaと相互呼び出し可能なScheme処理系「ぶぶ」における継続機能と例外処理機能の実装
- Symmetry Reduction を使ったAISの確率付きモデル検査
- 適応的オブジェクトのための局面解析手法
- オブジェクト指向並列言語によるN体問題の並列化とその評価
- Safe AmbientsのためのJavaフレームワーク
- 動的スコープの利用による並列言語の同期・例外処理の階層的構造化
- Parallel Graph Traversals using Work-Stealing Frameworks for Many-core Platforms
- 並列オブジェクト指向言語のためのガーベジコレクタ(並列処理)
- 「情報処理学会論文誌 : プログラミング」の編集について
- L-Closureの呼び出しコストの削減