• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

計算状態の精密操作に基づく高性能・高信頼システム技術

研究課題

研究課題/領域番号 26280023
研究種目

基盤研究(B)

配分区分一部基金
応募区分一般
研究分野 ソフトウェア
研究機関九州工業大学

研究代表者

八杉 昌宏  九州工業大学, 大学院情報工学研究院, 教授 (30273759)

研究分担者 平石 拓  京都大学, 学術情報メディアセンター, 助教 (60528222)
光来 健一  九州工業大学, 大学院情報工学研究院, 教授 (60372463)
研究協力者 小出 洋  
江本 健斗  
研究期間 (年度) 2014-04-01 – 2019-03-31
研究課題ステータス 完了 (2018年度)
配分額 *注記
17,290千円 (直接経費: 13,300千円、間接経費: 3,990千円)
2018年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
2017年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
2016年度: 4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2015年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
2014年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
キーワードプログラミング言語 / 計算機システム / ソフトウエア開発効率化・安定化 / ディペンダブル・コンピューティング / ハイパフォーマンス・コンピューティング / 入れ子関数 / 実行スタック / 並列処理 / 性能評価 / 負荷分散 / 仮想環境
研究成果の概要

コンピュータで計画的に計算を行っている最中に、将来の予定に含まれるデータをいざとなれば参照したり変更したりできる機構を備えとして用いて、複数CPUによる並列計算をうまく行ったり、安全性を高めるためのメンテナンスを行ったりする方式を実現しています。本研究では、これまでより性能や移植性のよい機構の実現を試み、「評価器」に応用したときに良好な結果を得ました。また、並列化が進む多様で複雑な計算環境を効率よく簡単・安全に利用できるように、本機構を活用した並列プログラミング言語の提案や改良を行いました。

研究成果の学術的意義や社会的意義

運用コストを改善したり実行性能を高めたりするために、計算環境の並列化・多様化・複雑化が進んでいます。本研究の成果を生かすことで、並列化が進む多様で複雑な計算環境を効率よく簡単・安全に利用できるようにします。また、そのための高水準プログラミング言語の実装を容易にして学術研究を促進します。

報告書

(6件)
  • 2018 実績報告書   研究成果報告書 ( PDF )
  • 2017 実績報告書
  • 2016 実績報告書
  • 2015 実績報告書
  • 2014 実績報告書
  • 研究成果

    (58件)

すべて 2019 2018 2017 2016 2015 2014 その他

すべて 雑誌論文 (5件) (うち査読あり 5件、 オープンアクセス 5件、 謝辞記載あり 2件) 学会発表 (52件) (うち国際学会 10件) 備考 (1件)

  • [雑誌論文] Evaluating Portable Mechanisms for Legitimate Execution Stack Access with a Scheme Interpreter in an Extended SC Language2019

    • 著者名/発表者名
      Masahiro Yasugi, Reichi Ikeuchi, Tasuku Hiraishi, Tsuyeyasu Komiya
    • 雑誌名

      Journal of Information Processing

      巻: 27 号: 0 ページ: 177-189

    • DOI

      10.2197/ipsjjip.27.177

    • NAID

      130007594656

    • ISSN
      1882-6652
    • 関連する報告書
      2018 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Probabilistic guards: A mechanism for increasing the granularity of work-stealing programs2019

    • 著者名/発表者名
      Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani
    • 雑誌名

      Parallel Computing

      巻: 82 ページ: 19-36

    • DOI

      10.1016/j.parco.2018.06.003

    • 関連する報告書
      2018 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A DSL for graph parallel programming with vertex subsets2019

    • 著者名/発表者名
      Kento Emoto, Fumihisa Sadahira
    • 雑誌名

      The Journal of Supercomputing

      巻: 75 号: 7 ページ: 1-18

    • DOI

      10.1007/s11227-019-02821-w

    • 関連する報告書
      2018 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Parallelization of Extracting Connected Subgraphs with Common Itemsets in Distributed Memory Environments2017

    • 著者名/発表者名
      Shingo Okuno, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Jun Sese
    • 雑誌名

      Journal of Information Processing

      巻: 25 号: 0 ページ: 256-267

    • DOI

      10.2197/ipsjjip.25.256

    • NAID

      130005395245

    • ISSN
      1882-6652
    • 関連する報告書
      2016 実績報告書
    • 査読あり / オープンアクセス / 謝辞記載あり
  • [雑誌論文] An Implementation of Exception Handling with Collateral Task Abortion2016

    • 著者名/発表者名
      Tasuku Hiraishi, Shingo Okuno, Masahiro Yasugi
    • 雑誌名

      Journal of Information Processing

      巻: 24 号: 2 ページ: 439-449

    • DOI

      10.2197/ipsjjip.24.439

    • NAID

      130005138317

    • ISSN
      1882-6652
    • 関連する報告書
      2015 実績報告書
    • 査読あり / オープンアクセス / 謝辞記載あり
  • [学会発表] Parallelization of Matrix Partitioning in Construction of Hierarchical Matrices using Task Parallel Languages2019

    • 著者名/発表者名
      Zhengyang Bai, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Akihiro Ida
    • 学会等名
      情報処理学会第122回プログラミング研究会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] FregelからGraphXへのコンパイルにおけるSMTソルバを用いた不要な通信の削減2019

    • 著者名/発表者名
      小西篤志,江本健斗
    • 学会等名
      日本ソフトウェア科学会プログラミング論研究会第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) (カテゴリ3)
    • 関連する報告書
      2018 実績報告書
  • [学会発表] Parallelization of Matrix Partitioning in Construction of Hierarchical Matrices using Task Parallel Languages2019

    • 著者名/発表者名
      Zhengyang Bai, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Akihiro Ida
    • 学会等名
      The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2019)
    • 関連する報告書
      2018 実績報告書
  • [学会発表] S-memV: Split Migration of Large-memory Virtual Machines in IaaS Clouds2018

    • 著者名/発表者名
      Masato Suetake, Takahiro Kashiwagi, Hazuki Kizu, Kenichi Kourai
    • 学会等名
      the 2018 IEEE International Conference on Cloud Computing (CLOUD 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] VM専用仮想メモリとの連携によるVMマイグレーションの高速化2018

    • 著者名/発表者名
      村岡裕二,光来健一
    • 学会等名
      情報処理学会第144回OS研究会 (SWoPP 2018)
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 拡張SC言語で記述したSchemeインタプリタによる移植性に優れた計算状態操作機構の評価2018

    • 著者名/発表者名
      八杉 昌宏,池内 嶺知,平石 拓,小宮 常康
    • 学会等名
      情報処理学会第120回プログラミング研究会 (SWoPP2018)
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 分割統治型総和の部分的計算結果を効率よく利用する方式の研究2018

    • 著者名/発表者名
      佐多 育斗,八杉 昌宏,平石 拓,馬谷 誠二
    • 学会等名
      情報処理学会第121回プログラミング研究会
    • 関連する報告書
      2018 実績報告書
  • [学会発表] 移植性に優れた計算状態操作機構の評価2018

    • 著者名/発表者名
      八杉 昌宏,平石 拓,光来 健一
    • 学会等名
      第10回 自動チューニング技術の現状と応用に関するシンポジウム
    • 関連する報告書
      2018 実績報告書
  • [学会発表] タスク並列言語におけるノード間通信の実装方式の検討2018

    • 著者名/発表者名
      平石 拓,村岡 大輔,八杉 昌宏
    • 学会等名
      情報処理学会第59回プログラミング・シンポジウム
    • 関連する報告書
      2017 実績報告書
  • [学会発表] 並列分散フレームワークの耐障害性評価のための通信障害模擬機能2018

    • 著者名/発表者名
      西牟禮 亮,八杉 昌宏,平石 拓,馬谷 誠二
    • 学会等名
      日本ソフトウェア科学会プログラミング論研究会第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018) (カテゴリ3,ポスター)
    • 関連する報告書
      2017 実績報告書
  • [学会発表] 階層型行列の区分け決定処理のCilk Plusによる並列化2018

    • 著者名/発表者名
      白 正陽,平石 拓,伊田 明弘,中島 浩
    • 学会等名
      日本ソフトウェア科学会プログラミング論研究会第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018) (カテゴリ3,ポスター)
    • 関連する報告書
      2017 実績報告書
  • [学会発表] 拡張SC言語で記述したSchemeインタプリタによる計算状態操作機構の評価2018

    • 著者名/発表者名
      八杉 昌宏,池内 嶺知,平石 拓,小宮 常康,重本 孝太
    • 学会等名
      日本ソフトウェア科学会プログラミング論研究会第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)
    • 関連する報告書
      2017 実績報告書
  • [学会発表] Dynamic Load Balancing for Construction and Arithmetic of Hierarchical Matrices2018

    • 著者名/発表者名
      Tasuku Hiraishi
    • 学会等名
      SIAM Conference on Parallel Processing for Scientific Computing (SIAM PP18)
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] 優先度ならびに重みを用いたワークスティールフレームワークの性能改善2017

    • 著者名/発表者名
      寄高 啓司,八杉 昌宏,平石 拓,馬谷 誠二
    • 学会等名
      The 1st cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2017)
    • 関連する報告書
      2017 実績報告書
  • [学会発表] HOPEコンパイラのプロトタイプ実装2017

    • 著者名/発表者名
      重本 孝太,八杉 昌宏,平石 拓,馬谷 誠二
    • 学会等名
      情報処理学会第115回プログラミング研究会 (SWoPP2017)
    • 関連する報告書
      2017 実績報告書
  • [学会発表] 分散環境での並列グラフマイニングにおけるタスク中断処理による冗長探索削減2017

    • 著者名/発表者名
      奥野 伸吾,平石 拓,中島 浩,八杉 昌宏,瀬々 潤
    • 学会等名
      情報処理学会第115回プログラミング研究会 (SWoPP2017)
    • 関連する報告書
      2017 実績報告書
  • [学会発表] 仮想環境を考慮した要求駆動型負荷分散2017

    • 著者名/発表者名
      良本 海,八杉 昌宏,平石 拓,馬谷 誠二
    • 学会等名
      日本ソフトウェア科学会第34回大会
    • 関連する報告書
      2017 実績報告書
  • [学会発表] 並列プログラム計算量の系統的機械証明手法の開発2017

    • 著者名/発表者名
      白水 駿,江本 健斗
    • 学会等名
      日本ソフトウェア科学会第34回大会
    • 関連する報告書
      2017 実績報告書
  • [学会発表] CPUオーバコミット時における並列アプリケーション実行の最適化2017

    • 著者名/発表者名
      髙山 都旬子,光来 健一
    • 学会等名
      第29回コンピュータシステムシンポジウム (ComSys 2017)
    • 関連する報告書
      2017 実績報告書
  • [学会発表] Resource Cages: A New Abstraction of the Hypervisor for Performance Isolation Considering IDS Offloading2017

    • 著者名/発表者名
      Kenichi Kourai, Sungho Arai, Kousuke Nakamura, Seigo Okazaki, Shigeru Chiba
    • 学会等名
      the 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017)
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] 計算状態操作機構による並列言語実装と性能改善2017

    • 著者名/発表者名
      八杉 昌宏,平石 拓,光来 健一
    • 学会等名
      第9回 自動チューニング技術の現状と応用に関するシンポジウム
    • 関連する報告書
      2017 実績報告書
  • [学会発表] 計算状態操作機構による並列言語実装と評価2016

    • 著者名/発表者名
      八杉 昌宏, 平石 拓, 光来 健一
    • 学会等名
      第8回 自動チューニング技術の現状と応用に関するシンポジウム
    • 発表場所
      東京大学 山上会館(東京都文京区)
    • 年月日
      2016-12-26
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing2016

    • 著者名/発表者名
      Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
    • 学会等名
      the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
    • 発表場所
      奈良春日野国際フォーラム(奈良県奈良市)
    • 年月日
      2016-09-20
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] VMが利用可能なCPU数の変化に対応した並列アプリケーション実行の最適化2016

    • 著者名/発表者名
      髙山 都旬子, 光来 健一
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      東北大学 片平キャンパス(宮城県仙台市)
    • 年月日
      2016-09-08
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 複数言語による正しい並列プログラミングのための計算基盤の検討2016

    • 著者名/発表者名
      八杉 昌宏
    • 学会等名
      日本ソフトウェア科学会第33回大会 (ポスター発表)
    • 発表場所
      東北大学 片平キャンパス(宮城県仙台市)
    • 年月日
      2016-09-08
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価2016

    • 著者名/発表者名
      江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      東北大学 片平キャンパス(宮城県仙台市)
    • 年月日
      2016-09-07
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Evaluation of an MPI-Based Implementation of the Tascell Task-Parallel Language on Massively Parallel Systems2016

    • 著者名/発表者名
      Daisuke Muraoka, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani
    • 学会等名
      Ninth International Workshop on Parallel Programming Models and Systems Software for High-End Computing P2S2 2016 (held in conjunction with ICPP 2016)
    • 発表場所
      フィラデルフィア(米国)
    • 年月日
      2016-08-16
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Extending a Work-Stealing Framework with Probabilistic Guards2016

    • 著者名/発表者名
      Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani
    • 学会等名
      Ninth International Workshop on Parallel Programming Models and Systems Software for High-End Computing P2S2 2016 (held in conjunction with ICPP 2016)
    • 発表場所
      フィラデルフィア(米国)
    • 年月日
      2016-08-16
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Exception Handling with Collateral Task Abortion in Distributed Memory Environments2016

    • 著者名/発表者名
      Tasuku Hiraishi, Shingo Okuno, Daisuke Muraoka, Masahiro Yasugi
    • 学会等名
      HPC in Asia Poster session, ISC High Performance 2016
    • 発表場所
      フランクフルト(ドイツ)
    • 年月日
      2016-06-22
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] 分散メモリ環境における共通アイテム集合を持つ連結部分グラフ抽出の並列化2016

    • 著者名/発表者名
      奥野 伸吾, 平石 拓, 中島 浩, 八杉 昌宏, 瀬々 潤
    • 学会等名
      情報処理学会第109回プログラミング研究会
    • 発表場所
      浜松市福祉交流センター(静岡県浜松市)
    • 年月日
      2016-06-09
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Reducing Redundant Search in Parallel Graph Mining using Exceptions2016

    • 著者名/発表者名
      Shingo Okuno, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Jun Sese
    • 学会等名
      21st International Workshop on High-Level Parallel Programming Models and Supportive Environments HIPS 2016 (held in conjunction with IPDPS 2016)
    • 発表場所
      シカゴ(米国)
    • 年月日
      2016-05-23
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] 大規模グラフ並列処理のための関数型領域特化言語2016

    • 著者名/発表者名
      江本 健斗,松崎 公紀,胡 振江,森畑 明昌,岩崎 英哉
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL2016)
    • 発表場所
      ダイヤモンド瀬戸内マリンホテル(岡山県玉野市)
    • 年月日
      2016-03-08
    • 関連する報告書
      2015 実績報告書
  • [学会発表] HOPEコンパイラの実装に向けて2016

    • 著者名/発表者名
      重本 孝太, 八杉 昌宏, 平石 拓, 馬谷 誠二
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL2016) (カテゴリ3, ポスター発表)
    • 発表場所
      ダイヤモンド瀬戸内マリンホテル(岡山県玉野市)
    • 年月日
      2016-03-07
    • 関連する報告書
      2015 実績報告書
  • [学会発表] 仮想環境を考慮した要求駆動型負荷分散の検討2016

    • 著者名/発表者名
      良本 海, 八杉 昌宏, 平石 拓, 馬谷 誠二
    • 学会等名
      第18回プログラミングおよびプログラミング言語ワークショップ (PPL2016) (カテゴリ3, ポスター発表)
    • 発表場所
      ダイヤモンド瀬戸内マリンホテル(岡山県玉野市)
    • 年月日
      2016-03-07
    • 関連する報告書
      2015 実績報告書
  • [学会発表] A Functional DSL for Large Scale Graph Processing2016

    • 著者名/発表者名
      Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
    • 学会等名
      Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016) (Poster presentation)
    • 発表場所
      高知工科大学 永国寺キャンパス(高知県高知市)
    • 年月日
      2016-03-04
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] An MPI-based Implementation of the Tascell Task-Parallel Programming Language2016

    • 著者名/発表者名
      Daisuke Muraoka, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani
    • 学会等名
      2nd Annual Meeting on Advanced Computing System and Infrastructure (ACSI2016)
    • 発表場所
      九州大学医学部百年講堂(福岡県福岡市東区)
    • 年月日
      2016-01-20
    • 関連する報告書
      2015 実績報告書
  • [学会発表] Preliminary Evaluations of Probabilistic Guards for a Work-Stealing Framework2016

    • 著者名/発表者名
      Hiroshi Yoritaka, Ken Matsui, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani
    • 学会等名
      2nd Annual Meeting on Advanced Computing System and Infrastructure (ACSI2016)
    • 発表場所
      九州大学医学部百年講堂(福岡県福岡市東区)
    • 年月日
      2016-01-20
    • 関連する報告書
      2015 実績報告書
  • [学会発表] Towards Parallel Graph Mining in Distributed Memory Environments using Task-Parallel Language Tascell2016

    • 著者名/発表者名
      Shingo Okuno, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Jun Sese
    • 学会等名
      2nd Annual Meeting on Advanced Computing System and Infrastructure (ACSI2016) (Poster presentation)
    • 発表場所
      九州大学医学部百年講堂(福岡県福岡市東区)
    • 年月日
      2016-01-19
    • 関連する報告書
      2015 実績報告書
  • [学会発表] 分散メモリ環境における並列グラフマイニングの実現に向けて2016

    • 著者名/発表者名
      奥野 伸吾,平石 拓,中島 浩,八杉 昌宏,瀬々 潤
    • 学会等名
      情報処理学会第107回プログラミング研究会
    • 発表場所
      A.R.Kビル(福岡県福岡市博多区)
    • 年月日
      2016-01-13
    • 関連する報告書
      2015 実績報告書
  • [学会発表] 多様な計算環境/計算モデルにおける計算状態操作機構2015

    • 著者名/発表者名
      八杉 昌宏, 平石 拓, 光来 健一
    • 学会等名
      第7回 自動チューニング技術の現状と応用に関するシンポジウム
    • 発表場所
      東京大学 山上会館(東京都文京区)
    • 年月日
      2015-12-25
    • 関連する報告書
      2015 実績報告書
  • [学会発表] 安全な並列計算向け型検査方式の例題を用いた検討2015

    • 著者名/発表者名
      八杉 昌宏
    • 学会等名
      日本ソフトウェア科学会第32回大会 (ポスター発表)
    • 発表場所
      早稲田大学 西早稲田キャンパス(東京都新宿区)
    • 年月日
      2015-09-10
    • 関連する報告書
      2015 実績報告書
  • [学会発表] Analysis of the Impact of CPU Virtualization on Parallel Applications in Xen2015

    • 著者名/発表者名
      Kenichi Kourai, Riku Nakata
    • 学会等名
      The 13th IEEE International Symposium on Parallel and Distributed Processing with Applications
    • 発表場所
      ヘルシンキ(フィンランド)
    • 年月日
      2015-08-21
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] 分散進捗管理のためのメッセージ媒介システムにおける不要メッセージ削除機能2015

    • 著者名/発表者名
      諏訪 将大,八杉 昌宏,平石 拓,馬谷 誠二
    • 学会等名
      情報処理学会第105回プログラミング研究会 (SWoPP2015)
    • 発表場所
      別府国際コンベンションセンター(大分県別府市)
    • 年月日
      2015-08-06
    • 関連する報告書
      2015 実績報告書
  • [学会発表] An Implementation of Exception Handling with Collateral Task Abortion2015

    • 著者名/発表者名
      平石 拓, 奥野 伸吾, 八杉 昌宏
    • 学会等名
      情報処理学会第105回プログラミング研究会 (SWoPP2015)
    • 発表場所
      別府国際コンベンションセンター(大分県別府市)
    • 年月日
      2015-08-06
    • 関連する報告書
      2015 実績報告書
  • [学会発表] タスク並列言語Tascellにおけるノード間通信のMPIによる実装2015

    • 著者名/発表者名
      村岡 大輔,八杉 昌宏,平石 拓
    • 学会等名
      第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)
    • 発表場所
      道後プリンスホテル(愛媛県松山市)
    • 年月日
      2015-03-05
    • 関連する報告書
      2014 実績報告書
  • [学会発表] ワークスティールフレームワーク向け確率的ガードの提案と性能解析2015

    • 著者名/発表者名
      寄高 啓司,松井 健,八杉 昌宏,平石 拓
    • 学会等名
      第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)
    • 発表場所
      道後プリンスホテル(愛媛県松山市)
    • 年月日
      2015-03-05
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Reducing Redundant Search using Exception Handling in a Task-Parallel Language2015

    • 著者名/発表者名
      Shingo Okuno, Tasuku Hiraishi, Hiroshi Nakashima, Masahiro Yasugi, Jun Sese
    • 学会等名
      Annual Meeting on Advanced Computing System and Infrastructure (ACSI) 2015
    • 発表場所
      つくば国際会議場(茨城県つくば市)
    • 年月日
      2015-01-28
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Towards a New Parallel Execution Model Based on Hierarchical Omission2015

    • 著者名/発表者名
      Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani
    • 学会等名
      Annual Meeting on Advanced Computing System and Infrastructure (ACSI) 2015
    • 発表場所
      つくば国際会議場(茨城県つくば市)
    • 年月日
      2015-01-28
    • 関連する報告書
      2014 実績報告書
  • [学会発表] メッセージ媒介システムの構想と試験実装2015

    • 著者名/発表者名
      諏訪 将大,八杉 昌宏,平石 拓,馬谷 誠二
    • 学会等名
      Annual Meeting on Advanced Computing System and Infrastructure (ACSI) 2015
    • 発表場所
      つくば国際会議場(茨城県つくば市)
    • 年月日
      2015-01-27
    • 関連する報告書
      2014 実績報告書
  • [学会発表] 計算状態操作機構の新展開に向けて2014

    • 著者名/発表者名
      八杉 昌宏,平石 拓,光来 健一
    • 学会等名
      第6回 自動チューニング技術の現状と応用に関するシンポジウム
    • 発表場所
      東京大学 山上会館(東京都)
    • 年月日
      2014-12-25
    • 関連する報告書
      2014 実績報告書
  • [学会発表] メモリモデルを考慮した汎用型付中間言語設計に向けて2014

    • 著者名/発表者名
      八杉 昌宏
    • 学会等名
      高信頼な理論と実装のための定理証明および定理証明器 (TPP 2014)
    • 発表場所
      九州大学 西新プラザ大会議室(福岡県福岡市)
    • 年月日
      2014-12-04
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Efficient VM Introspection in KVM and Performance Comparison with Xen2014

    • 著者名/発表者名
      Kenichi Kourai, Kousuke Nakamura
    • 学会等名
      The 20th IEEE Pacific Rim International Symposium on Dependable Computing
    • 発表場所
      シンガポール(シンガポール)
    • 年月日
      2014-11-20
    • 関連する報告書
      2014 実績報告書
  • [備考] Tascell

    • URL

      http://super.para.media.kyoto-u.ac.jp/tascell/

    • 関連する報告書
      2018 実績報告書 2017 実績報告書 2016 実績報告書 2015 実績報告書 2014 実績報告書

URL: 

公開日: 2014-04-04   更新日: 2020-03-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi