An Effective Error Diagnosis Technique Based on UNSAT cores and Its Application to Reduce Costs Needed for ECO's
An Effective Error Diagnosis Technique Based on UNSAT cores and Its Application to Reduce Costs Needed for ECO's
基于UNSAT核心的有效错误诊断技术及其在降低ECO成本方面的应用
批准号：
15K00078
负责人：
NUMA MASAHIRO
金额：
$2.83万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
On component ratio of RECON spare cells for ECO-Friendly design style
浅谈RECON备用电池的ECO-Friendly设计风格的组成比例
浅谈RECON备用电池的ECO-Friendly设计风格的组成比例
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Ayano Takezaki, Shogo Ohmura, Naoki Katayama, Tetsuya Hirose, Nobutaka Kuroki, Masahiro Numa, Ayano Takezaki, Takeshi Sawai]
通讯作者：
Takeshi Sawai
An Error Diagnosis Technique Based on Unsatisfiable Cores to Extract Error Locations Sets
基于不可满足核提取错误位置集的错误诊断技术
基于不可满足核提取错误位置集的错误诊断技术
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Ayano Takezaki, Shogo Ohmura, Naoki Katayama, Tetsuya Hirose, Nobutaka Kuroki, Masahiro Numa]
通讯作者：
Masahiro Numa
An error diagnosis technique based on averaged EPI values to extract error locations sets
一种基于平均 EPI 值提取错误位置集的错误诊断技术
一种基于平均 EPI 值提取错误位置集的错误诊断技术
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Ayano Takezaki, Shogo Ohmura, Naoki Katayama, Tetsuya Hirose, Nobutaka Kuroki, Masahiro Numa, Ayano Takezaki]
通讯作者：
Ayano Takezaki
A Hardware Architecture to Perform K-means Clustering for Learning-Based Super-Resolution Combining Self-Learning and Prior-Learning Dictionaries
一种结合自学习和先验字典的基于学习的超分辨率执行 K 均值聚类的硬件架构
一种结合自学习和先验字典的基于学习的超分辨率执行 K 均值聚类的硬件架构
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Ayano Takezaki, Shogo Ohmura, Naoki Katayama, Tetsuya Hirose, Nobutaka Kuroki, Masahiro Numa, Ayano Takezaki, Takeshi Sawai, Daichi Murata]
通讯作者：
Daichi Murata
Reduction of Costs Needed for Engineering Change Orders Based on Error Diagnosis Technique and Incremental Sysnthsis Technique for ECO's
-
批准号：18K11215
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.83万
-
财政年份：2018
-
负责人：NUMA MASAHIRO
-
依托单位：
An Error Diagnosis Technique Combining BDD-based Approach and SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's
-
批准号：24500064
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.33万
-
财政年份：2012
-
负责人：NUMA MASAHIRO
-
依托单位：