「情報処理学会論文誌 : プログラミング」の編集について
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1999-05-15
著者
-
真野 健
NTTコミュニケーション科学基礎研究所
-
田浦 健次朗
東京大学
-
前田 敦司
筑波大学
-
柴山 悦哉
東京工業大学大学院情報処理工学研究科数理・計算科学専攻
-
長谷川 立
東京大学
-
高橋 和子
関西学院大学
-
渡部 卓雄
東京工業大学
-
小川 瑞史
北陸先端科学技術大学院大学
-
小川 瑞史
Ntt
-
脇田 建
東京大学理学部
-
村上 昌己
岡山大学
-
原田 康徳
Ntt
-
竹内 泉
東邦大学
-
中田 秀基
産業技術総合研
-
小川 瑞史
Ntt ソフトウェア研究所
-
脇田 建
東京工業大学
-
結縁 祥治
名古屋大学 情報科学研究科
関連論文
- 知識変更を伴う議論システム
- 確率様相論理による秘匿性の証明 (代数と言語のアルゴリズムと計算理論)
- 複数拠点に分散配置されたクラスタの効率的な管理手法(セッション6:分散システム)
- グリッド用シェルGXPの長時間計算のための拡張(HPC-17 : グリッド)
- 組込みシステム向けマルチコア・プロセッサのためのソフトウェア開発支援
- 対訳辞書のグラフ表現を用いた日英対訳テキストの発見(文書処理,質問応答)
- カーネルモジュールを用いた通信端点における侵入検知システム(OS-2:カーネルとネットワーク,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 並列処理のための効率的なトポロジ推定(HPC-10 : 適応環境での通信)
- 3.Javaにおける並列プログラミングサポート(マルチコアを活かすお手軽並列プログラミング)
- グリッドチャレンジテストベッドの構築と運用 : グリチャレテストベッドの作り方(HPC-3 : 大規模運用システム(1))
- 3ZL-8 通信端点における侵入検知システムのカーネルモジュールを用いた実装手法(情報爆発時代における安全,安心ネットワーク技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 情報爆発時代における安全・安心ITシステム基盤(情報爆発時代に向けた新しいIT基盤技術の研究)
- 情報爆発時代における安全・安心ITシステム基盤
- 並列オブジェクト指向言語のマルチコンピュータ上における効率的な実装法
- 確率様相論理による秘匿性の証明
- 並列ビジュアルプログラミング環境KLIEG:プロセスネットワークパターンによる柔軟な再利用機構の導入(並列・分散)
- 並列ビジュアルプログラミング環境 KLIEG: プロセスネットワークパターンによる柔軟な再利用機構の導入(並列・分散)
- 広域分散ワークフローのための耐遅延性の高い分散ファイルシステム
- 日米並列Lispワークショップに参加して
- オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1
- 接続を動的に制御するメッセージパッシングシステム(HPC-11 : グリッド(3))(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 並列アプリケーションのトレースログの効率的なオンライン圧縮アルゴリズムの評価
- コンピュータサイエンスシリーズ 15 離散数学, 牛島和夫(編著), 相利民, 朝廣雄一(著), コロナ社(2006-09), A5判, 定価(本体3,000円+税)
- 組込みシステム向けマルチコア・プロセッサのためのソフトウェア開発支援
- トポロジ情報を用いた効率的かつ漸近安定な大容量ブロードキャスト
- 高いヒープ使用率の下で高速なインクリメンタルGC
- Virtual Private Grid(VPG) : 遠隔計算機を効率的に利用するシェル
- オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1
- 編集にあたって(情報爆発時代におけるわくわくするITの創出を目指して)
- 並列HPSGパーザーに向けて
- Software Fault Injectionを用いた開発時テスト支援環境
- A-7-3 P2P アプリケーションフレームワーク SOBA のセキュリティ機構
- ブラウザのための可視化とナビゲーション支援 (「Webシステムにおける情報獲得支援技術」)
- 指示棒の認識を用いたプレゼンテーションシステムの構築
- ニューススレッドからの番組自動生成
- コンパイルタイムリフレクションによるOS拡張の記述
- 言語はやはり道具でしょう, 教養はやはり必要でしょう(インタラクティブ・エッセイ)
- Mochi Sheet:大規模なビジュアルプログラムの効率的編集を支援するズーミングインタフェース(次世代ヒューマンインタフェース・インタラクション)
- 保護ドメイン簡約による分散実行環境の保護
- 言語研究者が忘れていたもの (lt討論会gtさまざまなソフトウェア開発文明)
- アプリケーション内メモリ管理の枠組みと分散環境における選択的な保護
- π計算に基づくプログラミング言語NepiのためのGUI機能
- ネットワークトポロジーを考慮した効率的なバンド幅推定手法(HPC-11:通信,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 自動取得したネットワーク構成情報に基づくMPI集合通信(HPC-1:MPI,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 高階書換え系の単一正規形性
- 高階書き換え系の単一正規形性
- Nepi : π計算に基づくネットワーク・プログラミング言語
- 細粒度マルチスレッディングのための言語処理系技術(2)
- 細粒度マルチスレッディングのための言語処理系技術(1)
- 大規模ネットワークにおけるバンド幅測定アルゴリズム
- ゲーム列による安全性証明の形式化と自動化(数理的技法による情報セキュリティ)
- 匿名性とプライバシ保護の数理的技法 (特集 コミュニケーション環境の未来に向けた研究最前線)
- Nepiネットワークプログラミングシステムの形式的検証(ソフトウェア工学の基礎)
- π-計算の名前制限の名前生成による実装の正しさ
- プロセス代数に基づくネットワークプログラム言語 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (快適にコンピュータを使えるために)
- π-計算に基づくモバイルエージェントの形式化
- アクタモデルのπ計算に基づく意味づけ : エージェントの形式化に向けて
- 高速なトポロジ推定 : ネットワークを考慮した並列計算のための基盤として(グリッド)
- 並列アプリケーションの性能を損なわないポーリング型のモニタリング
- メッセージ衝突を防止する適応的な集合通信
- 関数部分知識と匿名性検証(理論,数理的技法による情報セキュリティ,平成19年研究部会連合発表会)
- 多相性と動的ロードを考慮したJavaリフレクションの部分評価
- 分散計算機環境InTrigger上の資源共有ルールの評価(HPC-6:グリッド,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- InTrigger : 柔軟な構成変化を考慮した多拠点に渡る分散計算機環境(HPC-14 : 分散処理)
- 論理式の充足可能性問題における変数の依存関係に基づく効率的な変数決定順序(HPC-5: 数値計算アルゴリズム(2))
- 耐故障並列計算を支援する自律的な故障検知機構(高信頼)
- 複数サブネット環境における自律的な故障検知機構(OS-4: 通信システム, 2005年並列/分散/協調処理に関する『武雄』サマー・ワークショップ(SWoPP武雄2005)-研究会・連続同時開催-)
- Phoenixプログラミングモデルにおける故障検知ライブラリ(HPC-11 : グリッド(3))(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 並列オブジェクト指向言語ABCLによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- 複雑なグリッド環境で柔軟なプログラミングを実現するフレームワーク
- トポロジを考慮しソース選択を行うデータ転送スケジューラ
- マイグレーションを支援する分散集合オブジェクト
- 分散記憶並列計算機における局所ごみ集めのスケジュール方式について(並列処理)
- 最小限のコンパイラサポートによる細粒度マルチスレッディング : 効率的なマルチスレッド言語を実装するためのコスト効率の良い方法(並列処理)
- 動的にチャネルが増減する環境下での分散スナップショットアルゴリズム
- 広域TCPオーバレイにおけるデッドロックフリールーティング(OS-1:オーバレイネットワーク,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- MPI/GXP : 広域環境用の適応的なメッセージパッシングシステム(HPC-2 : 通信方式)
- 高効率なI/O処理が可能な細粒度マルチスレッド処理系のChapelによる評価
- チャネルに基づく選択付き通信のための分散プロトコル
- Nepi^2: π計算に基づくネットワーク・プログラミングのための2レベル計算体系
- 電子投票プロトコルに対する無証拠性の定理証明
- 高効率なI/Oと軽量性を両立させるマルチスレッド処理系
- アドレス空間の大きさに制限されないスレッド移動を実現するPGAS処理系
- 適応的並列計算を支援するプロトコルの設計と正当性の証明(HPC-10 : 適応環境での通信)
- フォーマルメソッドによるセキュリティ&プライバシ (特集 20周年を迎えたコミュニケーション科学)
- 「情報処理学会論文誌 : プログラミング」の編集について
- 分散メモリ並列計算機におけるReference count GCとMark and Sweep GCの比較
- ローカルポリシーによるアプリケーション機能制限機構(サイバー増大ページ論文概要,サイバー増大号)
- 匿名性・プライバシーの工学的定式化とその学際的応用
- ページ遷移を直接記述できるWebスクリプティングシステム
- 2A1-B34 100時間ワークショップによる融合教育研究プラットフォームの開発
- CoSyProofs 2009参加報告(会議レポート)
- 認知変数連結論 : 認知心理学を見つめ直す, 中島義明(著), コロナ社(2007-11), B6判, 定価(本体2,600円+税)
- 6. 匿名性とプライバシのためのフォーマルメソッド(Part III:新領域の開拓,フォーマルメソッドの新潮流)
- 確率様相論理による秘匿性の証明
- 大域アドレス空間に基づく分散OSにおけるオブジェクト移送の実現
- 「情報処理学会論文誌 : プログラミング」の編集について
- ワークスチーリング戦略のカスタマイズによるAMR法の高速化
- ストリーミングデータを扱うワークフローの外部モジュールの扱いに着目した低遅延実行
- 6種のタスク並列処理系の比較評価