• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Highly Scalable Software Construction Basis for Information Explosion Era

Planned Research

Project AreaCyber Infrastructure for the Information-explosion Era
Project/Area Number 18049015
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionThe University of Tokyo

Principal Investigator

CHIKAYAMA Takashi  The University of Tokyo, 大学院・工学系研究科, 教授 (40272380)

Co-Investigator(Kenkyū-buntansha) YUASA Taiichi  京大, 情報学, 教授 (60158326)
UEDA Kazunori  早大, 理工学術院, 教授 (10257206)
田浦 健次朗  東京大学, 大学院・情報理工学系研究科, 准教授 (90282714)
遠藤 敏夫  東京工業大学, 学術国際情報センター, 産学官連携研究員 (80396788)
横山 大作  東京大学, 大学院・情報理工学系研究科, 科学技術振興特任教員 (80345272)
Co-Investigator(Renkei-kenkyūsha) TAURA Kenjiro  東大, 情報理工学系研究科, 准教授 (90282714)
ENDO Toshio  東工大, 情報理工学研究科, 特任准教授 (80396788)
YOKOYAMA Daisaku  東大, 生産技術研究所, 助教 (80345272)
UMATANI Seiji  京大, 情報学研究科, 助教 (40378831)
Project Period (FY) 2006 – 2010
Project Status Completed (Fiscal Year 2010)
Budget Amount *help
¥64,600,000 (Direct Cost: ¥64,600,000)
Fiscal Year 2010: ¥15,000,000 (Direct Cost: ¥15,000,000)
Fiscal Year 2009: ¥11,900,000 (Direct Cost: ¥11,900,000)
Fiscal Year 2008: ¥13,600,000 (Direct Cost: ¥13,600,000)
Fiscal Year 2007: ¥9,600,000 (Direct Cost: ¥9,600,000)
Fiscal Year 2006: ¥14,500,000 (Direct Cost: ¥14,500,000)
Keywords計算機システム / ソフトウェア学 / ハイパーフォーマンスコンピューティング / 並列分散処理 / アルゴリズム / ハイパフォーマンスコンピューティング / クラスターコンピューティング / システム検証 / プロセス計算 / LMNtal / InTrigger / ハイパーフォーマンス・コンピューティング / プログラム言語 / 計算モデル / 資源管理機構
Research Abstract

To cope with the explosive increase of data amount, frameworks for flexible description of software for widely distributed highly parallel information systems are required. For this purpose, programming languages, middleware systems, and veri-fication systems for highly complicated software have been investigated, and such systems have been proposed, designed, implemented and evaluated the performance. Represent-ative resultant software systems are made open to public.

Report

(7 results)
  • 2010 Annual Research Report   Final Research Report ( PDF )
  • 2009 Annual Research Report
  • 2008 Annual Research Report   Self-evaluation Report ( PDF )
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • Research Products

    (164 results)

All 2011 2010 2009 2008 2007 2006 Other

All Journal Article (49 results) (of which Peer Reviewed: 41 results) Presentation (106 results) Remarks (9 results)

  • [Journal Article] SC言語処理系における変形規則の再利用機構2011

    • Author(s)
      平石拓、八杉昌宏、湯浅太一
    • Journal Title

      コンピュータソフトウェア

      Volume: 28-1 Pages: 258-271

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化2010

    • Author(s)
      川端聡基、小林史佳、上田和紀
    • Journal Title

      人工知能学会論文誌 26(2)

      Pages: 341-346

    • NAID

      130000455385

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] 統合開発環境によるLMNtalモデル検査2010

    • Author(s)
      綾野貴之、堀泰祐、岩澤宏希、小川誠司、上田和紀
    • Journal Title

      コンピュータソフトウェア 27(4)

      Pages: 197-214

    • NAID

      130004549194

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] DMI:計算資源の動的な参加/脱退をサポートする大規模分散共有メモリインタフェース2010

    • Author(s)
      原健太朗、田浦健次朗、近山隆
    • Journal Title

      情報処理学会論文誌(プログラミング) 3(1)

      Pages: 1-40

    • NAID

      110007970935

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化2010

    • Author(s)
      川端悟基、小林史佳、上田和紀
    • Journal Title

      人工知能学会論文誌

      Volume: 26-2 Pages: 341-346

    • NAID

      130000455385

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 統合開発環境によるLMNtalモデル検査2010

    • Author(s)
      綾野貴之、堀泰祐、岩沢宏希、小川誠司、上田和紀
    • Journal Title

      コンピュータソフトウェア

      Volume: 27-4 Pages: 197-214

    • NAID

      130004549194

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] L-Closureを用いた真に末尾再帰的なSchemeインタプリタ2010

    • Author(s)
      八杉昌宏、平石拓、児島啓史、馬谷誠司、湯浅太一
    • Journal Title

      情報処理学会論文誌、プログラミング

      Volume: 3-5 Pages: 1-17

    • NAID

      110007970943

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] アドレス空間の大きさに制限されないスレッド移動を実現するPGAS処理系2010

    • Author(s)
      原健太朗, 中島潤, 田浦健次朗
    • Journal Title

      情報処理学会論文誌

      Volume: 4-1 Pages: 27-65

    • NAID

      110008616664

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] DMI:計顛源の動的な参加/脱退をサポートする大規模分散共有メモリインタフェー2010

    • Author(s)
      原健太朗
    • Journal Title

      情報処理学会論文誌(プログラミング) 3

      Pages: 1-40

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] トポロジ情報を用いた効率的かつ漸近安定な大容量ブロードキャスト2009

    • Author(s)
      柴田剛志、田浦健次朗
    • Journal Title

      情報処理学会論文誌コンピューティングシステム(ACS) 2(3)

      Pages: 47-57

    • NAID

      110007990249

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計2009

    • Author(s)
      馬谷誠二、八杉昌宏、湯淺太一
    • Journal Title

      コンピュータソフトウェア 27(2)

      Pages: 50-61

    • NAID

      10026468319

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] リターンバリア型実時間ごみ集めの抽象モデル検査2009

    • Author(s)
      藤川浩光、馬谷誠二、八杉昌宏、湯淺太一
    • Journal Title

      情報処理学会論文誌(プログラミング) 2(4)

      Pages: 13-32

    • NAID

      110007970917

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] LMNtal as a Hierarchical Logic Programming Language2009

    • Author(s)
      Kazunori Ueda
    • Journal Title

      Theo-retical Computer Science 410(46)

      Pages: 4784-4800

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] トポロジ情報を用いた効率的かつ漸近安定な大容量ブロードキャスト2009

    • Author(s)
      柴田剛志
    • Journal Title

      情報処理学会論文誌コンピューティングシステム(ACS) 2

      Pages: 47-57

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] リターンバリア型実時間ごみ集めの抽象モデル検査2009

    • Author(s)
      藤川浩光
    • Journal Title

      情報処理学会論文誌プログラミング 2

      Pages: 13-32

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Cache-conscious 階層的グループ化データ配置法:Cache-oblivious 配置法との実験的比2009

    • Author(s)
      八杉昌宏
    • Journal Title

      情報処理学会論文誌プログラミング 2

      Pages: 33-47

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Collective Operations for Wide-area Message Passing Systems Using Adaptive Spanning Trees2008

    • Author(s)
      Hideo Saito, Kenjiro Taura, Takashi Chikayama
    • Journal Title

      International Journal of High Performance Computing and Networking 5(3)

      Pages: 179-188

    • NAID

      110002769853

    • Related Report
      2010 Final Research Report 2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Encoding Distributed Process Calculi into LMNtal2008

    • Author(s)
      Kazunori Ueda
    • Journal Title

      Elec-tronic Notes in Theoretical Computer Science 209

      Pages: 187-200

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] 複雑なグリッド環境で柔軟なプログラミングを実現するフレームワーク2008

    • Author(s)
      弘中健、斎藤秀雄、高橋慧、田浦健次朗
    • Journal Title

      情報処理学会論文誌(コンピューティングシステム) 1(2)

      Pages: 157-168

    • NAID

      110007990181

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] 論理・制約プログラミングと並行計算2008

    • Author(s)
      上田和紀
    • Journal Title

      コンピュータソフトウェア 25(3)

      Pages: 59-54

    • NAID

      110006840401

    • Related Report
      2010 Final Research Report 2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 階層グラフ書換え言語LMNtalの処理系2008

    • Author(s)
      村山敬、工藤晋太郎、櫻井健、水野謙、加藤紀夫、上田和紀
    • Journal Title

      コンピュータソフトウェア 25(2)

      Pages: 47-77

    • NAID

      130004549109

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] マルチスレッド環境における実時間ごみ集めのためのスレッド再開バリア2008

    • Author(s)
      鵜川始陽、花井亮、八杉昌宏、湯淺太一
    • Journal Title

      コンピュータソフトウェア 25(2)

      Pages: 135-150

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008

    • Author(s)
      乾敦行、工藤晋太郎、原耕司、水野謙、加藤紀夫、上田和紀
    • Journal Title

      コンピュータソフトウェア 25(1)

      Pages: 124-150

    • NAID

      130004549094

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] マルチスレッド環境における実時間ごみ集めのためのスレッド再開バリア2008

    • Author(s)
      鵜川 始陽、花井 亮、八杉 昌宏、湯淺 太一
    • Journal Title

      コンピュータソフトウェア 25(2)

      Pages: 135-150

    • Related Report
      2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] 階層グラフ書換えモデルに基づく統合プログラミング言語LMNtal2008

    • Author(s)
      乾 敦行、工藤 晋太郎、原 耕司、水野 謙、加藤 紀夫、上田 和紀
    • Journal Title

      コンピュータソフトウェア 25(1)

      Pages: 124-150

    • NAID

      130004549094

    • Related Report
      2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Encoding Distributed Process Calculi into LMNtal2008

    • Author(s)
      Kazunori Ueda
    • Journal Title

      Electronic Notes in Theoretical Computer Science 209

      Pages: 187-200

    • Related Report
      2008 Annual Research Report 2008 Self-evaluation Report 2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Collective Operations for Wide-area Message Passing Systems Using Adaptive Spanning Trees2008

    • Author(s)
      Hideo Saito
    • Journal Title

      International Journal of High Performance Computing and Networking(IJHPCN) 5(3)

      Pages: 179-188

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 複雑なグリッド環境で柔軟なプログラミングを実現するフレームワーク2008

    • Author(s)
      弘中健
    • Journal Title

      情報処理学会論文誌 : コンピューティングシステム 1(2)

      Pages: 157-168

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] タプル空間によるブラウザ問通信を備えたScheme処理系の開発2008

    • Author(s)
      原悠
    • Journal Title

      情報処理学会論文誌 : プログラミング 1(2)

      Pages: 85-99

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 階層グラフ書換え言語LMNtalの処理系2008

    • Author(s)
      村山敬
    • Journal Title

      コンピュータソフトウェア 25(2)

      Pages: 47-77

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] L-Closure:高性能・高信頼プログラミング言語の実装向け言語機構2008

    • Author(s)
      八杉 昌宏
    • Journal Title

      情報処理学会論文誌:プログラミング 49(PRO35)

      Pages: 63-83

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] マルチスレッド環境における実時間ごみ集めのためのスレッド再開バリア2008

    • Author(s)
      鵜川 始陽
    • Journal Title

      コンピュータソフトウェア 25(掲載確定)

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 階層グラフ書換え言語LMNtalの処理系2008

    • Author(s)
      村山 敬
    • Journal Title

      コンピュータソフトウェア 25

      Pages: 47-77

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 携帯電話で使えるiアプリすぷ2007

    • Author(s)
      湯淺 太一
    • Journal Title

      コンピュータソフトウェア 24

      Pages: 109-122

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Lego MindStoms用のLisp処理系XS2007

    • Author(s)
      湯淺 太一
    • Journal Title

      コンピュータソフトウェア 24

      Pages: 51-65

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] コンピュータゲームプレイヤにおける評価要素の自動生成に関する研究2007

    • Author(s)
      三輪 誠
    • Journal Title

      情報処理学会論文誌 48

      Pages: 3428-3437

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 高速なトポロジ推定-ネットワークを考慮した並列計算の基盤として2007

    • Author(s)
      白井 達也
    • Journal Title

      情報処理学会論文誌:コンピューティングシステム 48(ACS19)

      Pages: 156-165

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 広域MPI用の局所性を考慮した接続管理とランク割り当て2007

    • Author(s)
      斎藤 秀雄
    • Journal Title

      情報処理学会論文誌:コンピューティングシステム 48(ACS20)

      Pages: 44-55

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ウェブコミュニティ抽出アルゴリズムの改良2007

    • Author(s)
      沈 垣甫
    • Journal Title

      日本データベース学会(DBSJ) Letters 6

      Pages: 145-148

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ハッシングに基づく大規模探索問題の耐故障分散処理法2007

    • Author(s)
      横山 大作
    • Journal Title

      情報処理学会論文誌:プログラミング 48(PRO32)

      Pages: 156-165

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 高いヒープ使用率の下で高速なインクリメンタルGC2006

    • Author(s)
      白井 達也、遠藤 敏夫、田浦 健次朗、近山 隆
    • Journal Title

      情報処理学会トランザクション:プログラミング 47(SIG 2)

      Pages: 74-83

    • NAID

      110004078713

    • Related Report
      2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法2006

    • Author(s)
      市川祐輔
    • Journal Title

      情報科学技術レターズ 6

      Pages: 9-12

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 高いヒープ使用率の下で高速なインクリメンタルGC2006

    • Author(s)
      白井達也
    • Journal Title

      情報処理学会論文誌 プログラミング 47・SIG2(PR028)

      Pages: 74-83

    • Related Report
      2006 Annual Research Report
  • [Journal Article] ヒューマノイド行動ソフトウェア基盤におけるマルチスレッドLispへの実時間GC機能の導入2006

    • Author(s)
      岡田 慧
    • Journal Title

      コンピュータソフトウェア 23・2

      Pages: 168-174

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 既存Cヘッダファイルの構文の異なる言語での有効利用2006

    • Author(s)
      平石 拓
    • Journal Title

      コンピュータソフトウェア 23・2

      Pages: 225-238

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Efficient and Portable Implementation of Java-style Exception Handling in C2006

    • Author(s)
      Seiji Umatani
    • Journal Title

      IPSJ Digital Courier 2

      Pages: 238-247

    • NAID

      130000058354

    • Related Report
      2006 Annual Research Report
  • [Journal Article] A Transformation-Based Implementation of Lightweight Nested Functions2006

    • Author(s)
      Tasuku Hiraishi
    • Journal Title

      IPSJ Digital Courier 2

      Pages: 262-279

    • Related Report
      2006 Annual Research Report
  • [Journal Article] リージョン変数の動的なエイリアス判定によるメモリ効率向上2006

    • Author(s)
      米田 匡史
    • Journal Title

      情報処理学会論文誌 プログラミング 47・SIG11(PR030)

      Pages: 38-49

    • Related Report
      2006 Annual Research Report
  • [Journal Article] A Type System and Compilation Techniques for Concurrent Objects2006

    • Author(s)
      Masahiro Yasugi
    • Journal Title

      Information and Media Technologies 1・1

      Pages: 15-32

    • Related Report
      2006 Annual Research Report
  • [Presentation] 階層グラフ書換え言語LMNtalにおける管理アトムの処理2011

    • Author(s)
      目黒学, 中川遼平, 上田和紀
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • Place of Presentation
      北海道札幌市 定山渓ビューホテル
    • Year and Date
      2011-03-09
    • Related Report
      2010 Annual Research Report
  • [Presentation] Safeアンビエントに基づく分散アプリケーション開発用Lisp環境2011

    • Author(s)
      林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      北海道札幌市 定山渓ビューホテル
    • Year and Date
      2011-03-09
    • Related Report
      2010 Annual Research Report
  • [Presentation] Safe AmbientsのためのJavaライブラリ2011

    • Author(s)
      岡田翔太, 馬谷誠二, 林奉行, 八杉昌宏, 湯淺太一
    • Organizer
      情報処理学会第82回プログラミング研究会
    • Place of Presentation
      沖縄県宮古市 中央公民館
    • Year and Date
      2011-01-20
    • Related Report
      2010 Annual Research Report
  • [Presentation] Starvation-free Heap Size for Replication-Based Incremental Compacting Garbage Collection2010

    • Author(s)
      Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    • Organizer
      International Lisp Conference 2010
    • Place of Presentation
      Nevada, USA
    • Year and Date
      2010-10-20
    • Related Report
      2010 Annual Research Report
  • [Presentation] 利用者で行う処理の追加設定を支援する表現属性の相互作用に基づく処理理解モデル2010

    • Author(s)
      古宇田フミ子, 近山隆
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2010
    • Place of Presentation
      東京都文京区 東洋大学白山キャンパス
    • Year and Date
      2010-08-31
    • Related Report
      2010 Annual Research Report
  • [Presentation] LMNtalモデル検査器における状態爆発対策2010

    • Author(s)
      後町将人, 上田和紀
    • Organizer
      2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010
    • Place of Presentation
      石川県金沢市石川県金沢市金沢市文化ホール
    • Year and Date
      2010-08-04
    • Related Report
      2010 Annual Research Report
  • [Presentation] 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価2010

    • Author(s)
      川端聡基, 小林史佳, 上田和紀
    • Organizer
      2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010
    • Place of Presentation
      金沢市文化ホール
    • Year and Date
      2010-08-04
    • Related Report
      2010 Annual Research Report
  • [Presentation] 広域分散ワークフローのための耐遅延性の高い分散ファイルシステム2010

    • Author(s)
      柴田剛志, 田浦健次朗
    • Organizer
      2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010
    • Place of Presentation
      石川県金沢市 金沢市文化ホール
    • Year and Date
      2010-08-04
    • Related Report
      2010 Annual Research Report
  • [Presentation] バックトラックに基づく負荷分散の高並列環境における評価2010

    • Author(s)
      平石拓, 河野卓矢, 八杉昌宏, 馬谷誠二, 湯淺太一
    • Organizer
      2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010
    • Place of Presentation
      石川県金沢市 金沢市文化ホール
    • Year and Date
      2010-08-04
    • Related Report
      2010 Annual Research Report
  • [Presentation] LMNtal検証ビジュアルツールLaViT2010

    • Author(s)
      綾野貴之, 上田和紀
    • Organizer
      第8回ディペンダブルシステムワークショップ論文集
    • Place of Presentation
      北海道函館市 函館大沼プリンスホテル
    • Year and Date
      2010-07-20
    • Related Report
      2010 Annual Research Report
  • [Presentation] File-Access Patterns of Data-Intensive Workflow Applications and their Implications to Distributed Filesystems2010

    • Author(s)
      Takeshi Shibata, SungJun Choi, Kenjiro Taura
    • Organizer
      Third International Workshop on Data Intensive Distributed Computing (DIDC 2010)
    • Place of Presentation
      Chicago, Illinois USA
    • Year and Date
      2010-06-22
    • Related Report
      2010 Annual Research Report
  • [Presentation] L-Closureを用いた真に末尾再帰的なSchemeインタプリタ2010

    • Author(s)
      八杉昌宏, 小島啓史, 小宮常康, 平石拓, 馬谷誠二, 湯淺太一
    • Organizer
      情報処理学会第79回プログラミング研究会
    • Place of Presentation
      東京都目黒区 東京工業大学大岡山キャンパス
    • Year and Date
      2010-06-14
    • Related Report
      2010 Annual Research Report
  • [Presentation] 構成的理論に基づいたプログラミング言語Zとその実装2010

    • Author(s)
      新名庸生, 佐藤雅彦, 馬谷誠二, 八杉昌宏, 湯淺太一
    • Organizer
      情報処理学会第79回プログラミング研究会
    • Place of Presentation
      東京都目黒区 東京工業大学大岡山キャンパス
    • Year and Date
      2010-06-14
    • Related Report
      2010 Annual Research Report
  • [Presentation] メッセージ衝突を防止した適応的な集合通信2010

    • Author(s)
      吉富翔太
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] 大規模ネットワークにおける効率的なバンド幅マップ構築アルゴリズム2010

    • Author(s)
      長沼翔
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] XQueryを用いたプログラマブルかつ軽量な大規模分散環境におけるモニタリングフレーム2010

    • Author(s)
      加辺友也
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] 計算機トラブルシュートドメインにおける未知固有表現抽出2010

    • Author(s)
      栗田光晴
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] グラフィックエンジンを用いたゲーム探索の高速化2010

    • Author(s)
      田野文彦
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] 広域環境におけるRTTを用いたネットワークトポロジー推定2010

    • Author(s)
      水野悠
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] LMNtal処理系SLIMのモデル検査機能の並列化2010

    • Author(s)
      小林史佳
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] クラスタ向け並列 precosat の開発と性能評価2010

    • Author(s)
      露崎浩太
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] 学習を用いた枝刈の新手法の提案2010

    • Author(s)
      山本一成
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-10
    • Related Report
      2009 Annual Research Report
  • [Presentation] NUMAにおけるメモリローカリティと負荷分散を同時に考慮した並列GCのシミュレーションによる性能評価2010

    • Author(s)
      路星洋
    • Organizer
      情報処理学会創立50周年記念第72回全国夫会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-10
    • Related Report
      2009 Annual Research Report
  • [Presentation] バックトラックに基づく負荷分散の広域分散環境における評価2010

    • Author(s)
      河野卓矢
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] 並列分散環境上のファイル共有システムの負荷原因探索システム2010

    • Author(s)
      佐伯勇樹
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] 素性にモーラとシラブルを用いた略語の自動推定2010

    • Author(s)
      和田健太
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] 機械学習に基づく楽曲のクラスタリング2010

    • Author(s)
      白川直人
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミユレーション実行処2010

    • Author(s)
      大谷順司
    • Organizer
      情報処理学会創立50周年記念第72回全国大会
    • Place of Presentation
      東京
    • Year and Date
      2010-03-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] 機器組込みシステムのための複製に基づくインクリメンタルコンパクション2010

    • Author(s)
      鵜川始陽
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
    • Place of Presentation
      香川
    • Year and Date
      2010-03-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] アンビエント計算に基づくWebアプリケーション開発環境2010

    • Author(s)
      外山真
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
    • Place of Presentation
      香川
    • Year and Date
      2010-03-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] L-closure を用いた真に末尾再帰的な Scheme インタプリタの実装2010

    • Author(s)
      小島啓史
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
    • Place of Presentation
      香川
    • Year and Date
      2010-03-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] Android DalvikVMにおける正確なごみ集め2010

    • Author(s)
      松田友希
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
    • Place of Presentation
      香川
    • Year and Date
      2010-03-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] 局所性を改善する世代別ごみ集めの Scheme インタプリタにおける実装と評価2010

    • Author(s)
      渡邉真人
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
    • Place of Presentation
      香川
    • Year and Date
      2010-03-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] バックトラックに基づく負荷分散の広域分散環境における評価2010

    • Author(s)
      河野卓
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
    • Place of Presentation
      香川
    • Year and Date
      2010-03-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] 広域分散環境で動作する Safe アンビエント処理系2010

    • Author(s)
      宮本琢也
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
    • Place of Presentation
      香川
    • Year and Date
      2010-03-03
    • Related Report
      2009 Annual Research Report
  • [Presentation] File-Access Patterns of Da-ta-Intensive Workflow Applications and their Implications to Distributed Filesystems2010

    • Author(s)
      Takeshi Shibata, SungJun Choi, Kenjiro Taura
    • Organizer
      International Workshop on Data Intensive Distributed Computing, 746-755
    • Related Report
      2010 Final Research Report
  • [Presentation] Starvation-free Heap Size for Replication-Based Incremental Com-pacting Garbage Collection2010

    • Author(s)
      Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    • Organizer
      Interna-tional Lisp Conference 2010, 43-50
    • Related Report
      2010 Final Research Report
  • [Presentation] ACM SIGPLAN2010

    • Author(s)
      Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    • Organizer
      International Symposium on Memory Management, 73-82
    • Related Report
      2010 Final Research Report
  • [Presentation] A Global Address Space Framework for Irregular Applications2010

    • Author(s)
      Kentaro Hara, Kenjiro Taura
    • Organizer
      International ACM Symposium on High Performance Distributed Computing (HPDC2010)
    • Place of Presentation
      Chicago, Illinois USA
    • Related Report
      2010 Annual Research Report
  • [Presentation] Tascell : a Backtracking-based Load Balancing Framework2010

    • Author(s)
      Tasuku Hiraishi, Masahiro Yasugi, Takuya Kouno, Seiji Umatani, Taiichi Yuasa
    • Organizer
      24th International Conference on Supercomputing (ICS'10)(Poster presentation)
    • Place of Presentation
      茨城県 つくば市
    • Related Report
      2010 Annual Research Report
  • [Presentation] Dynamic Graph Traversals for Concurrent Rewriting using Work-Stealing Frameworks for Multicore Platforms2010

    • Author(s)
      Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani, Taiichi Yuasa
    • Organizer
      16th International Conference on Parallel and Distributed Systems (ICPADS 2010)
    • Place of Presentation
      Shanghai, China
    • Related Report
      2010 Annual Research Report
  • [Presentation] Improved Replication-Based Incremental Garbage Collection for Embedded Systems2010

    • Author(s)
      Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    • Organizer
      2010 ACM SIGPLAN International Symposium on Memory Management (ISMM'10)
    • Place of Presentation
      Toronto Canada
    • Related Report
      2010 Annual Research Report
  • [Presentation] LMNtal実行時処理系の並列モデル検査器への展開2010

    • Author(s)
      後町将人, 堀泰祐, 上田和紀
    • Organizer
      日本ソフトウェア科学会第27回大会
    • Place of Presentation
      東京都 津田塾大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化2010

    • Author(s)
      川端聡基, 小林史佳, 上田和紀
    • Organizer
      2010年度人工知能学会全国大会(第24回)
    • Place of Presentation
      長崎県長崎市 長崎ブリックホール
    • Related Report
      2010 Annual Research Report
  • [Presentation] ゲーム構成要素を組み合わせた特徴の最適化2010

    • Author(s)
      矢野友貴, 三輪誠, 横山大作, 近山隆
    • Organizer
      第15回ゲームプログラミングワークショップ
    • Place of Presentation
      神奈川県足柄郡箱根町 箱根セミナーハウス
    • Related Report
      2010 Annual Research Report
  • [Presentation] 投機を用いた並列ゲーム木探索の効率化2010

    • Author(s)
      浦晃, 横山大作, 近山隆
    • Organizer
      第15回ゲームプログラミングワークショップ
    • Place of Presentation
      神奈川県足柄郡箱根町 箱根セミナーハウス
    • Related Report
      2010 Annual Research Report
  • [Presentation] LMNtalモデル検査器における状態展開処理の並列化2009

    • Author(s)
      後町将人
    • Organizer
      第6回ディペンダブルシステムシンポジウム(DSS2009)
    • Place of Presentation
      大阪大学
    • Year and Date
      2009-12-15
    • Related Report
      2009 Annual Research Report
  • [Presentation] 不確実値を持つハイブリッドシステムの高信頼なシミュレーション手法2009

    • Author(s)
      大谷順司
    • Organizer
      第6回ディペンダブルシステムシンポジウム(DSS2009)
    • Place of Presentation
      大阪大学
    • Year and Date
      2009-12-15
    • Related Report
      2009 Annual Research Report
  • [Presentation] Extending a Lisp-in-Java for SICP Homework(Software Demo)2009

    • Author(s)
      Taiichi Yuasa
    • Organizer
      Tunisia-Japan Workshop on Symbolic Computation in Software Sc
    • Place of Presentation
      Gammarth, Tunisia
    • Year and Date
      2009-09-23
    • Related Report
      2009 Annual Research Report
  • [Presentation] Interval-based Solving of Hybrid Constraint Systems2009

    • Author(s)
      Daisuke Ishii
    • Organizer
      Third IFAC Conference on Analysis and Design of Hybrid Systems(ADHS'09)
    • Place of Presentation
      Zaragoza, Spain
    • Year and Date
      2009-09-17
    • Related Report
      2009 Annual Research Report
  • [Presentation] 複製に基づくインクリメンタルコンパクションを用いたガベージコレクタ2009

    • Author(s)
      鵜川始陽
    • Organizer
      日本ソフトウェア科学会第26回大会
    • Place of Presentation
      松江
    • Year and Date
      2009-09-17
    • Related Report
      2009 Annual Research Report
  • [Presentation] SC言語処理系における変形規則の再利用機構2009

    • Author(s)
      平石拓
    • Organizer
      日本ソフトウェア科学会第26回大会
    • Place of Presentation
      松江
    • Year and Date
      2009-09-16
    • Related Report
      2009 Annual Research Report
  • [Presentation] 高級アンビエント計算システムを用いた分散プログラミング2009

    • Author(s)
      馬谷誠二
    • Organizer
      情報処理学会夏のプログラミング・シンポジウム2009
    • Place of Presentation
      那須
    • Year and Date
      2009-09-02
    • Related Report
      2009 Annual Research Report
  • [Presentation] Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems2009

    • Author(s)
      Kazunori Ueda
    • Organizer
      Sixth International Colloquium on Theoretical Aspects of Computing(ICTAC 2009)
    • Place of Presentation
      Kuala Lumpur, Malaysia
    • Year and Date
      2009-08-20
    • Related Report
      2009 Annual Research Report
  • [Presentation] 大規模分散環境におけるバンド幅測定アルゴリズム2009

    • Author(s)
      長沼翔
    • Organizer
      2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009)
    • Place of Presentation
      仙台
    • Year and Date
      2009-08-06
    • Related Report
      2009 Annual Research Report
  • [Presentation] DMI:計算資源の動的な参加/脱退をサポートする大規模分散共有メモリインタフェース2009

    • Author(s)
      原健太朗
    • Organizer
      2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009)
    • Place of Presentation
      仙台
    • Year and Date
      2009-08-06
    • Related Report
      2009 Annual Research Report
  • [Presentation] 並列アプリケーションの性能を損なわないポーリング型のモニタリング2009

    • Author(s)
      鴨志田良和
    • Organizer
      2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009)
    • Place of Presentation
      仙台
    • Year and Date
      2009-08-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] 並列分散環境におけるファイル共有システムの負荷原因探索システム2009

    • Author(s)
      佐伯勇樹
    • Organizer
      2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009)
    • Place of Presentation
      仙台
    • Year and Date
      2009-08-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] メッセージ衝突を防止する適応的な集合通信2009

    • Author(s)
      吉富翔太
    • Organizer
      2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009)
    • Place of Presentation
      仙台
    • Year and Date
      2009-08-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] バックトラックに基づく負荷分散のT2K並列環境における評価2009

    • Author(s)
      平石拓
    • Organizer
      情報処理学会ハイパフォーマンスコンピューティング研究会(HPC)
    • Place of Presentation
      仙台
    • Year and Date
      2009-08-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] c-sat : A Parallel SAT Solver for Clusters2009

    • Author(s)
      Kei Ohmura
    • Organizer
      Twelfth International Conference on Theory and Applications of Satisfiability Testing(SAT 2009)
    • Place of Presentation
      Swansea, Wales, UK
    • Year and Date
      2009-07-03
    • Related Report
      2009 Annual Research Report
  • [Presentation] High Performance Wide-area Overlay using Deadlock-free Routing2009

    • Author(s)
      Ken Hironaka
    • Organizer
      International ACM Symposium on High Performance Distributed Computing
    • Place of Presentation
      Munich, Germany
    • Year and Date
      2009-06-12
    • Related Report
      2009 Annual Research Report
  • [Presentation] バックトラックに基づく負荷分散2009

    • Author(s)
      平石拓
    • Organizer
      先進的計算基盤システムシンポジウム(SACSIS2009)
    • Place of Presentation
      広島
    • Year and Date
      2009-05-28
    • Related Report
      2009 Annual Research Report
  • [Presentation] トポロジ情報を用いた効率的かつ漸近安定な大容量ブロードキャスト2009

    • Author(s)
      柴田剛志
    • Organizer
      先進的計算基盤システムシンポジウム(SACSIS2009)
    • Place of Presentation
      広島
    • Year and Date
      2009-05-28
    • Related Report
      2009 Annual Research Report
  • [Presentation] 広域TCPオーバレイにおけるデッドロックフールーティング2009

    • Author(s)
      弘中健
    • Organizer
      2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ
    • Place of Presentation
      仙台(日本)
    • Year and Date
      2009-04-13
    • Related Report
      2008 Annual Research Report
  • [Presentation] 強連結成分ベースのグラフ分割による分散並列LTLモデル検査の高速化2009

    • Author(s)
      三輪真弘
    • Organizer
      情報処理学会第71回全国大会
    • Place of Presentation
      立命館大学
    • Year and Date
      2009-03-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] 大規模メモリ環境下におけるモデル検査ツールSpinのマルチコア検証機能の性能評価2009

    • Author(s)
      小林史佳
    • Organizer
      情報処理学会第71回全国大会
    • Place of Presentation
      立命館大学
    • Year and Date
      2009-03-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] Backtracking-based Load Balancing2009

    • Author(s)
      Tasuku Hiraishi
    • Organizer
      14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
    • Place of Presentation
      Raleigh(USA)
    • Year and Date
      2009-02-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Un-derstanding Nondeterministic Systems2009

    • Author(s)
      Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa
    • Organizer
      International Colloquium on Theoret-ical Aspects of Computing, 349-355
    • Related Report
      2010 Final Research Report
  • [Presentation] c-sat : A Parallel SAT Solver for Clusters2009

    • Author(s)
      Kei Ohmura, Kazunori Ueda
    • Organizer
      International Conference on Theory and Applications of Satisfiability Testing, 524-537
    • Related Report
      2010 Final Research Report
  • [Presentation] LMNtalに基づくモデル検査環境2008

    • Author(s)
      堀泰祐
    • Organizer
      第5回システム検証の科学技術シンポジウム
    • Place of Presentation
      筑波大学
    • Year and Date
      2008-11-17
    • Related Report
      2008 Annual Research Report
  • [Presentation] Towards a Turing Machine for the 21st Century : Unifying Diverse Models of Computation2008

    • Author(s)
      Kazunori Ueda
    • Organizer
      Egypt-Japan University of Science and Technology(E-JUST) First Symposium
    • Place of Presentation
      Alexandria(Egypt)(招特待講演)
    • Year and Date
      2008-11-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] A Scalable Highperformance Communication Library for Wide-area Environments2008

    • Author(s)
      Hideo Saito
    • Organizer
      9th IEEE/ACM International Conference on Grid Computing
    • Place of Presentation
      筑波(日本)
    • Year and Date
      2008-09-30
    • Related Report
      2008 Annual Research Report
  • [Presentation] 双対モデリングを用いた充足可能性問題のCNFencoding2008

    • Author(s)
      薗部知大
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      名古屋(日本)
    • Year and Date
      2008-09-12
    • Related Report
      2008 Annual Research Report
  • [Presentation] LMNtalに基づくモデル検査器2008

    • Author(s)
      堀泰祐
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学東京キャンパス
    • Year and Date
      2008-09-10
    • Related Report
      2008 Annual Research Report
  • [Presentation] 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計2008

    • Author(s)
      馬谷誠二
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学東京キャンパス
    • Year and Date
      2008-09-10
    • Related Report
      2008 Annual Research Report
  • [Presentation] Design of a Distributed Ambient System That Enables Flexible Designation of Communication/Migration Targets with Dynamic Name Resolution2008

    • Author(s)
      Seiji Umatani
    • Organizer
      Workshop on Software Science and Technology in China and Japan
    • Place of Presentation
      桂林(中国)
    • Year and Date
      2008-09-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] 広域計算環境用のスケーラブルな高性能通信ライブラリ2008

    • Author(s)
      斎藤秀雄
    • Organizer
      2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008)
    • Place of Presentation
      佐賀(日本)
    • Year and Date
      2008-08-05
    • Related Report
      2008 Annual Research Report
  • [Presentation] 自動取得したネットワーク構成情報に基づくMPI集合通信2008

    • Author(s)
      吉富翔太
    • Organizer
      2008年並列/分散/協調処理に関する『佐賀』サマーワークショップ(SWoPP佐賀2008)
    • Place of Presentation
      佐賀(日本)
    • Year and Date
      2008-08-05
    • Related Report
      2008 Annual Research Report
  • [Presentation] ネットワークトポロジーを考慮した効率的なバンド幅推定手法2008

    • Author(s)
      長沼翔
    • Organizer
      2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008)
    • Place of Presentation
      佐賀(日本)
    • Year and Date
      2008-08-05
    • Related Report
      2008 Annual Research Report
  • [Presentation] 分散計算機環境In Trigger上の資源共有ルールの評価2008

    • Author(s)
      鴨志田良和
    • Organizer
      2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008)
    • Place of Presentation
      佐賀(日本)
    • Year and Date
      2008-08-05
    • Related Report
      2008 Annual Research Report
  • [Presentation] gluepy : A Simple Distributed Python Framework for Complex Grid Environments2008

    • Author(s)
      Ken Hironaka
    • Organizer
      21st Annual International Workshop on Languages and Compilers for Parallel Computing
    • Place of Presentation
      Alberta(Canada)
    • Year and Date
      2008-08-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting2008

    • Author(s)
      Kazunori Ueda
    • Organizer
      19th International Conference on Rewriting Techniques and Applications
    • Place of Presentation
      Hagenberg(Austria)
    • Year and Date
      2008-07-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] 複雑なグリッド環境でプログラミングを実現するフレームワーク2008

    • Author(s)
      弘中健
    • Organizer
      先進的計算基盤シンポジウム(SACSIS2008)
    • Place of Presentation
      筑波(日本)
    • Year and Date
      2008-06-13
    • Related Report
      2008 Annual Research Report
  • [Presentation] ネットワークトポロジを考慮した効率的なバンド幅推定手法2008

    • Author(s)
      長沼翔
    • Organizer
      先進的計算基盤シンポジウム(SACSIS2008)
    • Place of Presentation
      筑波(日本)
    • Year and Date
      2008-06-13
    • Related Report
      2008 Annual Research Report
  • [Presentation] マルチスレッドSATソルバMiraXTの改良 : タスク分割の待機時間削減2008

    • Author(s)
      露崎浩太
    • Organizer
      先進的計算基盤シンポジウム(SACSIS2008)
    • Place of Presentation
      筑波(日本)
    • Year and Date
      2008-06-11
    • Related Report
      2008 Annual Research Report
  • [Presentation] マルチコアクラスタ環境での並列SATソルバの評価2008

    • Author(s)
      大村圭
    • Organizer
      人工知能学会全国大会(第22回)
    • Place of Presentation
      旭川(日本)
    • Year and Date
      2008-06-11
    • Related Report
      2008 Annual Research Report
  • [Presentation] 階層的グループ化を用いた大規模リンク構造上の局所性改善2008

    • Author(s)
      八杉昌宏
    • Organizer
      先進的計算基盤シンポジウム(SACSIS 2008)
    • Place of Presentation
      筑波(日本)
    • Year and Date
      2008-06-11
    • Related Report
      2008 Annual Research Report
  • [Presentation] Scalable Data Gathering for Real-time Monitoring Systems on Distributed Computing2008

    • Author(s)
      Yoshikazu Kamoshida
    • Organizer
      8th IEEE International Symposium on Cluster Computing and the Grid
    • Place of Presentation
      Lyon(France)
    • Year and Date
      2008-05-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] Replication-Based Incremental Compaction2008

    • Author(s)
      Tomoharu Ugawa
    • Organizer
      11th IEEE International Symposium on Object/component/serviceoriented Real-time distributed Computing
    • Place of Presentation
      Orland(USA)
    • Year and Date
      2008-05-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] A Framework for Flexible Programming in Complex Grid Environments2008

    • Author(s)
      Ken Hironaka
    • Organizer
      8th IEEE International Symposium on Cluster Computing and the Grid(Poster Presentation)
    • Place of Presentation
      Lyon(France)
    • Year and Date
      2008-05-01
    • Related Report
      2008 Annual Research Report
  • [Presentation] A Scalable High-performance Communication Library for Wide-area Environments2008

    • Author(s)
      Hideo Saito, Ken Hironaka, Kenjiro Taura
    • Organizer
      9th IEEE/ACM International Conference on Grid Computing, 310-315
    • Related Report
      2010 Final Research Report
  • [Presentation] Scalable Data Gathering for Real-time Monitoring Systems on Distributed Computing2008

    • Author(s)
      Yoshikazu Kamoshida, Kenjiro Taura
    • Organizer
      IEEE International Sympo-sium on Cluster Computing and the Grid, 425-432
    • Related Report
      2010 Final Research Report
  • [Presentation] Encoding the Pure Lambda Calculus into Hierarchical Graph Re-writing2008

    • Author(s)
      Kazunori Ueda
    • Organizer
      International Conference on Rewriting Techniques and Applications, 392-408
    • Related Report
      2010 Final Research Report
  • [Presentation] Replication-Based In-cremental Compaction2008

    • Author(s)
      Tomoharu Ugawa, Masahiro Yasugi, Taiichi Yuasa
    • Organizer
      International Symposium on Object/component/service-oriented Real-time Distributed Com-putting, 516-524
    • Related Report
      2010 Final Research Report
  • [Presentation] A Scalable Highperformance Communication Library for Wide-area Environments2008

    • Author(s)
      Hideo Saito
    • Organizer
      9th IEEE/ACM Int. Conf. on Grid Computing
    • Place of Presentation
      Tsukuba
    • Related Report
      2008 Self-evaluation Report
  • [Presentation] gluepy: A Simple Distributed Python Framework for Complex Grid Environments2008

    • Author(s)
      Ken Hironaka
    • Organizer
      21st Annual Int. Workshop on Languages and Compilers for Parallel Computing
    • Place of Presentation
      Alberta
    • Related Report
      2008 Self-evaluation Report
  • [Presentation] Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting2008

    • Author(s)
      Kazunori Ueda
    • Organizer
      19th Int. Conf. on Rewriting Techniques and Applications
    • Place of Presentation
      Hagenberg
    • Related Report
      2008 Self-evaluation Report
  • [Presentation] Scalable Data Gathering for Real-time Monitoring Systems on Distributed Computing2008

    • Author(s)
      Yoshikazu Kamoshida
    • Organizer
      8th IEEE Int. Symp. on Cluster Computing and the Grid
    • Place of Presentation
      Lyon
    • Related Report
      2008 Self-evaluation Report
  • [Presentation] Replication-Based Incremental Compaction2008

    • Author(s)
      Tomoharu Ugawa
    • Organizer
      11th IEEE Int. Symp. on Object/component/ service-oriented Real-time distributed Computing
    • Place of Presentation
      Orland
    • Related Report
      2008 Self-evaluation Report
  • [Presentation] Towards a Practical Pi-Calculus Based Mobile Agent System2007

    • Author(s)
      Seiji Umatani
    • Organizer
      Asian Symposium on Programming Languages and Systems
    • Place of Presentation
      Singapore
    • Year and Date
      2007-11-29
    • Related Report
      2007 Annual Research Report
  • [Presentation] A Fast Topology Inference-A building block for network-aware parallel processing2007

    • Author(s)
      Tatsuya Shirai
    • Organizer
      IEEE International Symposium on High Performance Distributed Computing
    • Place of Presentation
      Monterey, California, USA
    • Year and Date
      2007-07-27
    • Related Report
      2007 Annual Research Report
  • [Presentation] Locality-aware Connection Management and Rank Assignment for Wide-area API2007

    • Author(s)
      Hideo Saito
    • Organizer
      IEEE International Symposium on Cluster Computing and Grid
    • Place of Presentation
      Rio de Janeiro, Brazil
    • Year and Date
      2007-05-16
    • Related Report
      2007 Annual Research Report
  • [Presentation] Experience with SC: Transformation-based Implementation of Various Language Extensions to C2007

    • Author(s)
      Tasuku Hiraishi
    • Organizer
      International Lisp Conference 2007
    • Place of Presentation
      Cambridge, UK
    • Year and Date
      2007-04-03
    • Related Report
      2007 Annual Research Report
  • [Presentation] Improving Search Speed on Pointer-Based Large Data Structures Using a Hierarchical Clustering Copying Algorithm2007

    • Author(s)
      Masahiro Yasugi
    • Organizer
      International Workshop on Innovative Architecture for Future generation Processors and Systems 2007
    • Place of Presentation
      Singapore
    • Year and Date
      2007-04-03
    • Related Report
      2007 Annual Research Report
  • [Presentation] A Global Address Space Framework for Irregular Applications International

    • Author(s)
      Kentaro Hara, Kenjiro Taura
    • Organizer
      ACM Symposium on High Performance Dis-tributed Computing, 296-299
    • Related Report
      2010 Final Research Report
  • [Remarks] 東京大学 近山・田浦研究室

    • URL

      http://www.logos.t.u-tokyo.ac.jp/

    • Related Report
      2010 Annual Research Report
  • [Remarks] 京都大学 湯淺研究室

    • URL

      http://www.yuasa.kuis.kyoto-u.ac.jp/

    • Related Report
      2010 Annual Research Report
  • [Remarks] 早稲田大学 上田研究室

    • URL

      http://www.ueda.info.waseda.ac.jp/

    • Related Report
      2010 Annual Research Report
  • [Remarks] 田浦 健次朗、他「Intriggerプラットフォーム」 2006〜情報爆発時代に向けた新しいIT 基盤技術の研究のための広域分散プラットフォーム

    • URL

      https://www.logos.ic.i.u-tokyo.ac.jp/intrigger/registration/info.php

    • Related Report
      2008 Self-evaluation Report
  • [Remarks] 田浦 健次朗「GXP Grid/Cluster Shell」, 2006 年〜広域分散環境を使うための並列シェル

    • URL

      http://www.logos.ic.i.u-tokyo.ac.jp/phoenix/gxp_quick_man_ja.shtml

    • Related Report
      2008 Self-evaluation Report
  • [Remarks] 上田 和紀、他「LMNtal」2006〜階層グラフ書換え言語LMNtal のコンパイラ・ランタイム・プログラミング環境

    • URL

      http://www.ueda.info.waseda.ac.jp/lmntal/

    • Related Report
      2008 Self-evaluation Report
  • [Remarks] 階層グラフ書換えに基づく並行言語LMNtal

    • URL

      http://www.ueda.info.waseda.ac.jp/lmntal/

    • Related Report
      2007 Annual Research Report
  • [Remarks] グリッドコンピューティングのための並列シェルツールGXP

    • URL

      http://www.logos.ic.i.u-tokyo.ac.jp/gxp/

    • Related Report
      2007 Annual Research Report
  • [Remarks] 情報爆発時代に向けた新しいIT基盤技術の研究用プラットフォームIntrigger

    • URL

      http://www.logos.ic.i.u-tokyo.ac.jp/wiki-ja/

    • Related Report
      2007 Annual Research Report

URL: 

Published: 2006-04-01   Modified: 2018-03-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi