Research on Efficient and Precise Runtime Checking of Concurrent Software

高效精准的并发软件运行时检查研究

基本信息

  • 批准号：
    16K00093
  • 负责人：
    Arahori Yoshitaka
  • 金额：
    $ 2.91万
  • 依托单位：
    Tokyo Institute of Technology
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2016
  • 资助国家：
    日本
  • 起止时间：
    2016-04-01 至 2020-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
イベント駆動コードの差分解析を可能にするパス探査経験則
路径探索启发法可对事件驱动代码进行差异分析
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    冨永江奈;荒堀喜貴;権藤克彦
  • 通讯作者：
    権藤克彦
分散並行ファジング
分布式并行模糊测试
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    石山泰地;荒堀喜貴;権藤克彦
  • 通讯作者：
    権藤克彦
強化学習に基づく並行バグ検知
基于强化学习的并行错误检测
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    李兆亮;荒堀喜貴;権藤克彦
  • 通讯作者：
    権藤克彦
サンプリングに基づく分散悪性競合のオンライン検出
基于采样的分布式恶意冲突在线检测
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    片平遥香;荒堀喜貴;権藤克彦
  • 通讯作者：
    権藤克彦
POI: Skew-Aware Parallel Race Detection
POI：倾斜感知并行竞赛检测
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Y. Sakurai;Y. Arahori and K. Gondow
  • 通讯作者：
    Y. Arahori and K. Gondow
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Arahori Yoshitaka其他文献

Arahori Yoshitaka的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('Arahori Yoshitaka', 18)}}的其他基金

Transactional Symbolic Execution
事务符号执行
  • 批准号：
    26730033
  • 财政年份：
    2014
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

Research of Sanitizers for Distributed Concurrent Systems
分布式并发系统消毒剂研究
  • 批准号：
    19K11900
  • 财政年份：
    2019
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Transactional Symbolic Execution
事务符号执行
  • 批准号：
    26730033
  • 财政年份：
    2014
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了