Search Results1-12 of  12

  • 江本 健斗 ID: 9000258571379

    東京大学大学院情報理工学系研究科 (2005 from CiNii)

    Articles in CiNii:1

    • 木スケルトンによるXPathクエリの並列化とその評価 (2005)
  • 江本 健斗 ID: 9000258571385

    東京大学 大学院情報理工学系研究科 (2005 from CiNii)

    Articles in CiNii:1

    • 助っ人:構成的な並列スケルトンによる並列プログラミングライブラリ (2005)
  • 江本 健斗 ID: 9000283722621

    東京大学 大学院情報理工学系研究科 (2005 from CiNii)

    Articles in CiNii:1

    • Parallel Dynamic Programming using Data-Parallel Skeletons (2005)
  • 江本 健斗 ID: 9000311513680

    Articles in CiNii:1

    • Implementing Generate-Test-and-Aggregate Algorithms on Hadoop (2011)
  • 江本 健斗 ID: 9000382643567

    Articles in CiNii:1

    • Towards Systematic Proof of Parallel Running-time on Coq (2017)
  • 江本 健斗 ID: 9000399186693

    Articles in CiNii:1

    • A Tactic Library for Transforming Inequalities in Coq (2018)
  • EMOTO Kento ID: 9000002386049

    Numazu College of Technology, Department of Digital Engineering (2002 from CiNii)

    Articles in CiNii:2

    • Extension, Enhancement and Maintenance of Creative Education System of Network-Multimedia : Support of the Education/Learning System for Foreign Students (2002)
    • Marangoni Instability of Liquid Column with Inner Heat Generation (2001)
  • EMOTO Kento ID: 9000006861136

    The Univ. of Tokyo (2008 from CiNii)

    Articles in CiNii:1

    • Easy Parallel Programming on Multi-Core Environments:GCCs Support for Parallel Programming (2008)
  • EMOTO Kento ID: 9000258238341

    Graduate School of Information Science and Technology, The University of Tokyo (2012 from CiNii)

    Articles in CiNii:1

    • Systematic Derivation of Efficient Parallel Algorithms for Generate-test-α Computation (2012)
  • EMOTO Kento ID: 9000283722591

    Graduate School of Information Science and Technology, University of Tokyo (2004 from CiNii)

    Articles in CiNii:1

    • Constructive Parallel Skeletons on Two-Dimensional Arrays (2004)
  • EMOTO Kento ID: 9000348892111

    Articles in CiNii:10

    • Analysis and Synthesis of Control Systems Rationally Dependent on Uncertain Parameters (2005)
    • Concurrent Operations on Splay Trees (2016)
    • Optimizing Vertex-centric Parallel Graph Processing using Constraint Solver (2017)
  • Emoto Kento ID: 9000242842898

    Numazu College of Technology (2002 from CiNii)

    Articles in CiNii:1

    • Kelvin-Helmholtz Instability of Annular Fluid (2002)
Page Top