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

Speeding up Large-Scale Combinatorial Search by Parallel Accelerator with Fast Mutual Communication Function

Research Project

Project/Area Number 23300014
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Computer system/Network
Research InstitutionThe University of Tokyo

Principal Investigator

Mary Inaba  東京大学, 大学院情報理工学系研究科, 准教授 (60282711)

Co-Investigator(Renkei-kenkyūsha) Hiroshi Imai  東京大学, 大学院情報理工学系研究科, 教授 (80183010)
Ayumu Nagai  群馬大学, 工学部情報工学科, 助教 (70375567)
Project Period (FY) 2011-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥17,810,000 (Direct Cost: ¥13,700,000、Indirect Cost: ¥4,110,000)
Fiscal Year 2015: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2014: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2013: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2012: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2011: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Keywordsリコンフィギャラブルシステム / 離散最適化 / ハートウェアアルゴリズム / ハードウェアアルゴリズム / ネットワーク
Outline of Final Research Achievements

This research aims at enlarging the application fields of parallel accelerators to large-scale combinatorial optimization by efficiently searching optimal solutions in a distributed manner. For this purpose, we propose and implement a unified system which equips the mutual communication function, combining programmable hardware accelerators and host servers, and software layer bridging application layer and accelerator with hiding complicataed communication control. Using this system, we expand applications from the constraint satisfaction problem, CSP, to planned serendipity.

Report

(6 results)
  • 2016 Final Research Report ( PDF )
  • 2015 Annual Research Report
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • 2011 Annual Research Report
  • Research Products

    (59 results)

All 2017 2016 2015 2014 2013 2012 2011 Other

All Journal Article (23 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 23 results,  Open Access: 2 results,  Acknowledgement Compliant: 1 results) Presentation (36 results) (of which Int'l Joint Research: 12 results)

  • [Journal Article] Bayesian AutoEncoder: Generation of Bayesian Networks with Hidden Nodes for Features2016

    • Author(s)
      Kaneharu Nishino and Mary Inaba
    • Journal Title

      Proceeedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)

      Volume: 6 Pages: 4244-4245

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] All-IP-Ethernet architecture for real-time sensor-fusion processing2016

    • Author(s)
      Kei Hiraki, Mary Inaba, Hiroshi Tezuka, Hisanobu Tomari, Kenichi Koizumi, Shuya Kondo
    • Journal Title

      Proceedings of the High-Speed Biomedical Imaging and Spectroscopy: Toward Big Data Instrumentation and Management conference

      Volume: 1 Pages: 97200D-97200D

    • DOI

      10.1117/12.2212016

    • Related Report
      2015 Annual Research Report 2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Dynamic Strategy to diversify search using history map in parallel solving2016

    • Author(s)
      Moon Seongsoo, Mary Inaba
    • Journal Title

      Proceedings of the Learning and Intelligent OptimizatioN Conference (LION10)

      Volume: 1 Pages: 260-266

    • DOI

      10.1007/978-3-319-50349-3_21

    • ISBN
      9783319503486, 9783319503493
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Parametric multiroute flow and its application to multilink-attack network2016

    • Author(s)
      Jean-Francois Baffier, Vorapong Suppakitpaisarn, Hidefumi Hiraishi and Hiroshi Imai
    • Journal Title

      Discrete Optimization

      Volume: 22 Pages: 20-36

    • DOI

      10.1016/j.disopt.2016.05.002

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Feature Extraction Based on Generating Bayesian Network2015

    • Author(s)
      Kaneharu Nishino and Mary Inaba
    • Journal Title

      Procedings of the 22nd International Conference on Neural Information Processing (ICONIP 2015), Lecture Notes in Computer Science

      Volume: 9492 Pages: 255-262

    • DOI

      10.1007/978-3-319-26561-2_31

    • NAID

      40020557897

    • ISBN
      9783319265605, 9783319265612
    • Related Report
      2015 Annual Research Report 2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Efficient Implementation of Continuous Skyline Computation on a Multi-Core Processor2015

    • Author(s)
      Kenichi Koizumi , Mary Inaba , Kei Hiraki
    • Journal Title

      Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design

      Volume: 1 Pages: 52-55

    • DOI

      10.1109/memcod.2015.7340468

    • Related Report
      2015 Annual Research Report 2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Two Lower Bounds for Shortest Double-Base Number System2015

    • Author(s)
      P. Chalermsook, H. Imai, and V. Suppakitpaisarn
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E98.A Issue: 6 Pages: 1310-1312

    • DOI

      10.1587/transfun.E98.A.1310

    • NAID

      130005071813

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Community Branching for Parallel Portfolio SAT Solvers2014

    • Author(s)
      Tomohiro Sonobe, Shuya Kondoh and Mary Inaba
    • Journal Title

      Proceedings of the International Conferences on Theory and Applications of Satisfiability Testing (SAT2014)

      Volume: 1 Pages: 188-196

    • DOI

      10.1007/978-3-319-09284-3_14

    • ISBN
      9783319092836, 9783319092843
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Parametric Multiroute Flow and Its Application to Robust Network with k Edge Failures.2014

    • Author(s)
      Jean-Francois Baffier, Vorapong Suppakitpaisarn, Hidefumi Hiraishi, and Hiroshi Imai
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8596 Pages: 26-37

    • DOI

      10.1007/978-3-319-09174-7_3

    • ISBN
      9783319091730, 9783319091747
    • Related Report
      2014 Annual Research Report 2013 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Worst Case Computation Time for Minimal Joint Hamming Weight Numeral System2014

    • Author(s)
      V. Suppakitpaisarn and H. Imai
    • Journal Title

      Proceedings of the for 2014 International Symposium on Information Theory and Its Applications (ISITA 2014)

      Volume: 1 Pages: 138-142

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Parametric Multiroue Flow and Its Application to Robust Network with k Edge Failures2014

    • Author(s)
      Jean-Francois Baffier, Vorapong Suppakitpaisarn, Hidefumi Hiraishi and Hiroshi Imai
    • Journal Title

      Lecture Notes in Computer Science

      Volume: -

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Proximity and Motion Planning on 1-Rigid Planar Periodic Graphs.2013

    • Author(s)
      Norie Fu, Akihiro Hashikura, and Hiroshi Imai
    • Journal Title

      Transactions on Computational Science., Vol.XX, Lecture Notes in Computer Science

      Volume: 8110 Pages: 72-91

    • DOI

      10.1007/978-3-642-41905-8_6

    • ISBN
      9783642419041, 9783642419058
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Portfolio with Block Branching for Parallel SAT Solvers2013

    • Author(s)
      Tomohiro Sonobe and Mary Inaba
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7997 Pages: 247-252

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] High Performance Memory Access Scheduling using Compute-Phase Prediction and Writeback-Refresh Overlap2012

    • Author(s)
      Yasuo Ishii, Kouhei Hosokawa, Mary Inaba, and Kei Hiraki
    • Journal Title

      Proceedings of the 3rd JILP Workshop on Computer Architecture Competitions (JWAC-3): Memory Scheduling Championship (MSC)

      Volume: 1 Pages: 1-6

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Unified Memory Optimizing Architecture: Memory Subsystem Control with a Unified Predictor2012

    • Author(s)
      Yasuo Ishii, Mary Inaba, Kei Hiraki
    • Journal Title

      Proceeding of the 26th ACM International Conference on Supercomputing

      Volume: 1 Pages: 267-278

    • DOI

      10.1145/2304576.2304614

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Counter Implication Restart for Parallel SAT Solvers2012

    • Author(s)
      Tomohiro Sonobe and Mary Inaba
    • Journal Title

      Lecture Notes in Computer Science

      Volume: Vol.7219 Pages: 485-490

    • DOI

      10.1007/978-3-642-34413-8_49

    • ISBN
      9783642344121, 9783642344138
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Grid Spider: a Framework for Data Intensive Research with Data Process Memoization Cache2012

    • Author(s)
      Daichi Yamada, Tomohiro Sonobe, Hiroshi Tezuka and Mary Inaba
    • Journal Title

      Proceedings of the Fourth International Conference on Resource Intensive Applications and Services

      Volume: ― Pages: 5-8

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Unified Memory Optimizing Architecture: Memory Subsystem Control with a Unified Predictor2012

    • Author(s)
      Yasuo Ishii, Mary Inaba and Kei Hiraki
    • Journal Title

      Proceedings of the 26th ACM international conference on Supercomputing

      Volume: ― Pages: 267-278

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Portfolio with Block Branching for Parallel SAT Solvers2012

    • Author(s)
      Tomohiro Sonobe and Mary Inaba
    • Journal Title

      Proceedings of the Learning and Intelligent Optimization Conference (LION7)(電子媒体)

      Volume: ―

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The performance of GRAPE-DR for dense matrix operations2011

    • Author(s)
      Junichiro Makino, Hiroshi Daisaka, Toshiyuki Fukushige, Yutaka Sugawara, Mary Inaba and Kei Hiraki
    • Journal Title

      Procedia Computer Science

      Volume: Vol.4 Pages: 888-897

    • DOI

      10.1016/j.procs.2011.04.094

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Revisiting Local History for Improving Fused Two-Level Branch Predictor2011

    • Author(s)
      Yasuo Ishii, Keisuke Kuroyanagi, Takeo Sawada, Mary Inaba and Kei Hiraki
    • Journal Title

      2nd JILP Workshop on Computer Architecture Competitions (JWAC-2): Championship Branch Prediction

      Volume: ―

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Bimode Cascading: Adaptive Rehashing for ITTAGE Indirect Branch Predictor2011

    • Author(s)
      Yasuo Ishii, Takeo Sawada, Keisuke Kuroyanagi, Mary Inaba and Kei Hiraki
    • Journal Title

      2nd JILP Workshop on Computer Architecture Competitions (JWAC-2): Championship Branch Prediction

      Volume: ―

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Counter Implication Restart2011

    • Author(s)
      Tomohiro Sonobe, Mary Inaba and Ayumu Nagai
    • Journal Title

      Proceedings of the Fourteenth International Conference on Theory and Applications of Satisfiability Testing(SAT2011)(電子媒体)

      Volume: ―

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Presentation] Fast Recovery for SACK-Disabled TCP on Long-distance Fat-pipe Networks2017

    • Author(s)
      Kenichi Koizumi, Kei Hiraki, Mary Inaba
    • Organizer
      14th USENIX Symposium on Networked Systems Design and Implementation (NSDI'17)
    • Place of Presentation
      Boston, USA
    • Year and Date
      2017-03-27
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Single Stream TCP Data Transfer over Trans-Pacific 100 Gigabit Network2017

    • Author(s)
      Kenichi Koizumi, Junichiro Shitami, Goki Honjo, Junji Tamatsukuri, Mary Inaba, Kei Hiraki
    • Organizer
      42nd International Conference on Very Large Data Bases
    • Place of Presentation
      New Delhi, India
    • Year and Date
      2017-02-12
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 情報量最大化原理によるBayesian Network上での特徴抽出2017

    • Author(s)
      西野兼治、稲葉真理
    • Organizer
      ニューロコンピューティング研究会
    • Place of Presentation
      九州工業大学, 福岡県
    • Year and Date
      2017-01-28
    • Related Report
      2015 Annual Research Report
  • [Presentation] ネットワークにおける重複を許すコミュニティ抽出アルゴリズムの提案2016

    • Author(s)
      森清貴、西野兼治、手塚宏史、稲葉真理
    • Organizer
      第19回情報論的学習理論と機械学習研究会(IBISML)
    • Place of Presentation
      京都大学, 京都府
    • Year and Date
      2016-11-16
    • Related Report
      2015 Annual Research Report
  • [Presentation] Evaluation of New Branching Heuristic for Tie-breaking2016

    • Author(s)
      Moon Seongsoo, Mary Inaba
    • Organizer
      The 22nd International Conference on Principles and PRactice of Constraint Programming (CP2016)
    • Place of Presentation
      Toulouse, France
    • Year and Date
      2016-09-05
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Harmonization of Multiple IP Streams for Real-time Sensor-Fusion System2016

    • Author(s)
      Kenichi Koizumi
    • Organizer
      ImPACTプログラム セレンディピティの計画的創出 プログラム会議 2016
    • Place of Presentation
      鶴岡メタボロームキャンパス, 山形県
    • Year and Date
      2016-08-03
    • Related Report
      2015 Annual Research Report
  • [Presentation] ParaGlueminisat, tbParaGluminisat2016

    • Author(s)
      Moon Seongsoo, Mary Inaba
    • Organizer
      SAT competition 2016 Solver and Benchmarks Description
    • Place of Presentation
      Bordeaux, France
    • Year and Date
      2016-07-05
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] CHBR_glucose2016

    • Author(s)
      Moon Seongsoo, Mary Inaba
    • Organizer
      SAT competition 2016 Solver and Benchmarks Description
    • Place of Presentation
      Bordeaux, France
    • Year and Date
      2016-07-05
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Approximate History Map for Massively Parallel Environment2016

    • Author(s)
      Moon Seongsoo, Mary Inaba
    • Organizer
      Pragmatics of SAT 2016 (P0S)
    • Place of Presentation
      Bordeaux, France
    • Year and Date
      2016-07-04
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Fully secure 6Gbps file transfer for personal genome data application2016

    • Author(s)
      Takeshi Fukunaga, Hiroshi Tezuka, Junji Tamatsukuri, Goki Honjo, Junichiro Shitami, Kenichi Koizumi, Mary Inaba, Kei Hiraki
    • Organizer
      The TNC16 Networking Conference
    • Place of Presentation
      Prague, Czech Republic
    • Year and Date
      2016-06-12
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Fully secure 6Gbps file transfer for personal genome data application2016

    • Author(s)
      Takeshi Fukunaga, Hiroshi Tezuka, Junji Tamatsukuri, Goki Honjo, Junichiro Shitami, Kenichi Koizumi, Mary Inaba, Kei Hiraki
    • Organizer
      The TNC16 Networking Conference
    • Place of Presentation
      プラハ, チェコ共和国
    • Year and Date
      2016-06-12
    • Related Report
      2014 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Dynamic Strategy to diversify search using history map in parallel solving2016

    • Author(s)
      Moon Seongsoo, Mary Inaba
    • Organizer
      Learning and Intelligent OptimizatioN Conference(LION10)
    • Place of Presentation
      ナポリ, イタリア
    • Year and Date
      2016-05-29
    • Related Report
      2014 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Bayesian AutoEncoder: Generation of Bayesian Networks with Hidden Nodes for Features2016

    • Author(s)
      Kaneharu Nishino and Mary Inaba
    • Organizer
      Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)
    • Place of Presentation
      Arizona, USA
    • Year and Date
      2016-02-12
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Bayesian AutoEncoder: Generation of Bayesian Networks with Hidden Nodes for Features2016

    • Author(s)
      Kaneharu Nishino and Mary Inaba
    • Organizer
      Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)
    • Place of Presentation
      アリゾナ, アメリカ合衆国
    • Year and Date
      2016-02-12
    • Related Report
      2014 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 楽譜を用いた楽器音分離手法の提案2015

    • Author(s)
      小林瑞紀,手塚宏史,稲葉真理
    • Organizer
      エンターテインメントコンピューティングシンポジウム 2015(EC2015)
    • Place of Presentation
      北海道大学, 北海道札幌市
    • Year and Date
      2015-09-25
    • Related Report
      2014 Annual Research Report
  • [Presentation] 音楽の重要な構成要素の抽出の提案-音楽ゲーム用譜面自動生成のために-2015

    • Author(s)
      香川俊宗,手塚宏史,稲葉真理
    • Organizer
      エンターテインメントコンピューティングシンポジウム 2015(EC2015)
    • Place of Presentation
      北海道大学, 北海道札幌市
    • Year and Date
      2015-09-25
    • Related Report
      2014 Annual Research Report
  • [Presentation] Proposal and Application of Search Similarity Index for SAT solver2015

    • Author(s)
      Yoichiro Iida, Seongsoo Moon, Hiroshi Tezuka, Mary Inaba
    • Organizer
      The Pragmatics of SAT 2015 (PoS 2015)
    • Place of Presentation
      テキサス, アメリカ合衆国
    • Year and Date
      2015-09-23
    • Related Report
      2014 Annual Research Report
    • Int'l Joint Research
  • [Presentation] ベイジアンネットワークの生成に基づく特徴抽出2015

    • Author(s)
      西野兼治, 稲葉真理
    • Organizer
      電子情報学会ニューロコンピューティング研究会
    • Place of Presentation
      徳島大学, 徳島県徳島市
    • Year and Date
      2015-07-18
    • Related Report
      2014 Annual Research Report
  • [Presentation] SAT問題におけるCommunity rankの提案2015

    • Author(s)
      戸ヶ崎 仁宣, 手塚宏史,稲葉真理
    • Organizer
      2015年度 人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学, 北海道
    • Year and Date
      2015-05-31
    • Related Report
      2013 Annual Research Report
  • [Presentation] 変数のindexのshuffleによる多様性効果について2015

    • Author(s)
      ムン ソンス, 手塚宏史,稲葉真理
    • Organizer
      2015年度 人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学, 北海道
    • Year and Date
      2015-05-31
    • Related Report
      2013 Annual Research Report
  • [Presentation] SAT問題におけるCommunity rankの提案2015

    • Author(s)
      戸ヶ崎仁宣, 手塚宏史,稲葉真理
    • Organizer
      2015年度 人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学, 北海道函館市
    • Year and Date
      2015-05-30
    • Related Report
      2014 Annual Research Report
  • [Presentation] 大規模ネットワークにおけるコミュニティ検出手法の高速化2015

    • Author(s)
      尾崎 直人, 手塚宏史,稲葉真理
    • Organizer
      2015年度 人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学, 北海道函館市
    • Year and Date
      2015-05-30
    • Related Report
      2014 Annual Research Report
  • [Presentation] 変数のindexのshuffleによる多様性効果について2015

    • Author(s)
      ムンソンス, 手塚宏史,稲葉真理
    • Organizer
      2015年度 人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学, 北海道函館市
    • Year and Date
      2015-05-30
    • Related Report
      2014 Annual Research Report
  • [Presentation] 大規模ネットワークにおけるコミュニティ検出手法の高速化2015

    • Author(s)
      尾崎 直人, 手塚宏史,稲葉真理
    • Organizer
      2015年度 人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学, 北海道
    • Year and Date
      2015-05-30
    • Related Report
      2013 Annual Research Report
  • [Presentation] リアルタイム消費電流計測機能を活用する低消費電力FPGAアクセラレータ2014

    • Author(s)
      近藤秀弥,手塚宏史,稲葉真理
    • Organizer
      並列/分散/協調処理に関する新潟サマー・ワークショップ(SWoPP新潟2014)
    • Place of Presentation
      新潟コンベンションセンター, 新潟県新潟市
    • Year and Date
      2014-07-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] リアルタイム消費電流計測機能を活用する低消費電力FPGAアクセラレータ2014

    • Author(s)
      近藤秀弥,手塚宏史,稲葉真理
    • Organizer
      情報処理学会第203回計算機アーキテクチャ研究発表会(SWoPP2014)
    • Place of Presentation
      朱鷺メッセ 新潟コンベンションセンター, 新潟県
    • Year and Date
      2014-07-28
    • Related Report
      2013 Annual Research Report
  • [Presentation] High Performance, Energy Efficient and Scalable Memory Subsystem Design for Many Core Processors2012

    • Author(s)
      Yasuo Ishii, Mary Inaba, Kei Hiraki
    • Organizer
      International Symposium on Computics: Quantum Simulation and Design (ISC-QSD)
    • Place of Presentation
      大阪大学, 大阪府
    • Related Report
      2012 Annual Research Report
  • [Presentation] コアの情報を活用するメモリアクセススケジューリング法2012

    • Author(s)
      細川航平, 石井康雄, 稲葉真理, 平木敬
    • Organizer
      情報処理学会第193回計算機アーキテクチャ研究発表会(SWoPP2012)
    • Place of Presentation
      とりぎん文化会館, 鳥取県
    • Related Report
      2012 Annual Research Report
  • [Presentation] Division and Alternation of Decision Variables

    • Author(s)
      Tomohiro Sonobe and Mary Inaba
    • Organizer
      Pragmatics of SAT 2012
    • Place of Presentation
      Trento, Italy
    • Related Report
      2012 Annual Research Report
  • [Presentation] 静的解析に基づく動的言語の為の自動並列化手法の提案

    • Author(s)
      中村晃一, 稲葉真理, 平木敬
    • Organizer
      情報処理学会第90回プログラミング研究発表会(SWoPP2012)
    • Place of Presentation
      とりぎん文化会館, 鳥取県
    • Related Report
      2012 Annual Research Report
  • [Presentation] kルートフローのパラメトリック解析に関する考察

    • Author(s)
      今井浩, Jean-Francois Baffier, 平石秀史
    • Organizer
      電子情報通信学会第113回コンピュテーション研究会
    • Place of Presentation
      神戸大学, 兵庫県
    • Related Report
      2012 Annual Research Report
  • [Presentation] Evaluation of Amin-Based Neural Network (ABNN) using DS Auto Cruiser, a testbed for Machine Learning

    • Author(s)
      Masahiko Hasebe, Tomohiro Sonobe, Hiroshi Tezuka, Isamu Kaneko,Kunihiko Sadakane and Mary Inaba
    • Organizer
      The 5th Annual Meeting of the Asian Association for Algorithms and Computation (AAAC 2012)
    • Place of Presentation
      Fudan University, Shanghai
    • Related Report
      2011 Annual Research Report
  • [Presentation] BTBへのBimode Cascading手法適用による分岐先アドレス予測の高効率化

    • Author(s)
      石井康雄,畔柳圭佑,稲葉真理,平木敬
    • Organizer
      並列/分散/協調処理に関するサマー・ワークショップ(SWoPP2011)
    • Place of Presentation
      かごしま県民交流センター, 鹿児島市
    • Related Report
      2011 Annual Research Report
  • [Presentation] 多様な履歴の利用による分岐予測精度の向上

    • Author(s)
      畔柳圭佑,石井康雄,稲葉真理,平木敬
    • Organizer
      並列/分散/協調処理に関するサマー・ワークショップ(SWoPP2011)
    • Place of Presentation
      かごしま県民交流センター, 鹿児島市
    • Related Report
      2011 Annual Research Report
  • [Presentation] HPC Ruby: 静的解析に基づくRuby の高度最適化コンパイラ

    • Author(s)
      中村晃一,野瀬貴史,稲葉真理,平木敬
    • Organizer
      並列/分散/協調処理に関するサマー・ワークショップ(SWoPP2011)
    • Place of Presentation
      かごしま県民交流センター, 鹿児島市
    • Related Report
      2011 Annual Research Report
  • [Presentation] DS Auto Cruiser の研究と開発

    • Author(s)
      長谷部雅彦,手塚宏史,山田大地,薗部知大,金子勇,定兼邦彦,青木保一,稲葉真理
    • Organizer
      第27回ゲーム情報学研究会
    • Place of Presentation
      東京農工大学, 東京
    • Related Report
      2011 Annual Research Report

URL: 

Published: 2011-04-06   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi