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

2010 Fiscal Year Final Research Report

Highly Scalable Software Construction Basis for Information Explosion Era

Planned Research

  • PDF
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)
Co-Investigator(Renkei-kenkyūsha) TAURA Kenjiro  東大, 情報理工学系研究科, 准教授 (90282714)
ENDO Toshio  東工大, 情報理工学研究科, 特任准教授 (80396788)
YOKOYAMA Daisaku  東大, 生産技術研究所, 助教 (80345272)
UMATANI Seiji  京大, 情報学研究科, 助教 (40378831)
Project Period (FY) 2006 – 2010
Keywords計算機システム / ソフトウェア学 / ハイパーフォーマンスコンピューティング / 並列分散処理 / アルゴリズム
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.

  • Research Products

    (24 results)

All 2010 2009 2008 Other

All Journal Article (14 results) (of which Peer Reviewed: 14 results) Presentation (10 results)

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

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

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

      Pages: 341-346

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

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

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

      Pages: 197-214

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

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

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

      Pages: 1-40

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

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

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

      Pages: 47-57

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

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

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

      Pages: 50-61

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

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

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

      Pages: 13-32

    • 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

    • 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

    • 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

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

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

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

      Pages: 157-168

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

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

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

      Pages: 59-54

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

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

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

      Pages: 47-77

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

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

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

      Pages: 135-150

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

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

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

      Pages: 124-150

    • Peer Reviewed
  • [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
    • Year and Date
      20100000
  • [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
    • Year and Date
      20100000
  • [Presentation] ACM SIGPLAN2010

    • Author(s)
      Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
    • Organizer
      International Symposium on Memory Management, 73-82
    • Year and Date
      20100000
  • [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
    • Year and Date
      20090000
  • [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
    • Year and Date
      20090000
  • [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
    • Year and Date
      20080000
  • [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
    • Year and Date
      20080000
  • [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
    • Year and Date
      20080000
  • [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
    • Year and Date
      20080000
  • [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

URL: 

Published: 2012-02-13   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi