课题基金 / 基金详情

Automatic Debugging by Using Soft Constraints

Automatic Debugging by Using Soft Constraints
使用软约束自动调试
批准号：
24300010
负责人：
HOSOBE Hiroshi
金额：
$11.48万
依托单位：
Hosei University (2013-2016)National Institute of Informatics (2012)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24300010/
关键词：
ソフトウェアデバッグ制約

项目摘要

项目成果

HOSOBE Hiroshi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs
SNIPER：基于 LLVM 的命令式程序故障自动定位工具
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [西垣智弘, 杉原創, Method Kilasara, 舟川晋也, 伊藤　亮, Si-Mohamed Lamraoui and Shin Nakajima]
通讯作者： Si-Mohamed Lamraoui and Shin Nakajima
A Constraint-Based Approach to Error Localization
基于约束的错误定位方法
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [Hiroshi Hosobe, Shin Nakajima, Michel Rueher]
通讯作者： Michel Rueher
ニースソフィアアンティポリス大学(フランス)
尼斯索菲亚安蒂波利斯大学（法国）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
点対称の像を用いた追跡問題のQ学習の高速化
使用点对称图像加速 Q 学习跟踪问题
DOI： --
发表时间： 2017
期刊： 人工知能基本問題研究会(SIG-FPAI)資料
影响因子： --
作者： [飯岡徹人, 細部博史]
通讯作者： 細部博史
共 12 条
    A Constraint Programming Environment for Media Arts
    • 批准号：
      25540029
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.41万
    • 财政年份：
      2013
    • 负责人：
      HOSOBE Hiroshi
    • 依托单位：
      Hosei University
    A High-Level Programming Language for Probabilistic Systems
    • 批准号：
      21700046
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.66万
    • 财政年份：
      2009
    • 负责人：
      HOSOBE Hiroshi
    • 依托单位：
      National Institute of Informatics
    海外基金