刷新
{{item.name}}会员
Transactional Symbolic Execution
事务符号执行
基本信息
- 批准号：26730033
- 负责人：
- 金额：$ 2.41万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2014
- 资助国家：日本
- 起止时间：2014-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Code Oriented Diagram Editorを用いた並行バグの可視化
使用面向代码的图表编辑器可视化并行错误
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：大村裕;荒堀喜貴;権藤克彦;渡部卓雄
- 通讯作者：渡部卓雄
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Arahori Yoshitaka', 18)}}的其他基金
Research on Efficient and Precise Runtime Checking of Concurrent Software
高效精准的并发软件运行时检查研究
- 批准号：
16K00093 - 财政年份：2016
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
Travel: NSF Student Travel Grant for 2023 International Conference on Parallel Processing (ICPP)
旅行：2023 年国际并行处理会议 (ICPP) 的 NSF 学生旅行补助金
- 批准号：
2329410 - 财政年份：2023
- 资助金额：
$ 2.41万 - 项目类别：
Standard Grant
Low-Power AI Using Light Wave Diffraction -Massively Parallel Processing of Multi-Class Classification with Preserved Location Information of Objects-
使用光波衍射的低功耗人工智能 - 保留物体位置信息的多类分类的大规模并行处理 -
- 批准号：
23K11258 - 财政年份：2023
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Elucidation of parallel processing mechanisms among cortical regions in memory consolidation
阐明记忆巩固中皮质区域之间的并行处理机制
- 批准号：
22H02938 - 财政年份：2022
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Parallel processing strategy in mid-tier visual areas in primates
灵长类动物中层视觉区域的并行处理策略
- 批准号：
21H02596 - 财政年份：2021
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Searching for new physics in top-quark events with the ATLAS experiment at the LHC and parallel processing in the ATLAS trigger.
通过大型强子对撞机上的 ATLAS 实验和 ATLAS 触发器中的并行处理来寻找顶夸克事件中的新物理现象。
- 批准号：
2604949 - 财政年份：2021
- 资助金额：
$ 2.41万 - 项目类别：
Studentship
Integration and parallel processing of light information from pineal and eyes
松果体和眼睛光信息的集成和并行处理
- 批准号：
20K15844 - 财政年份：2020
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Mentoring the Next Generation of Parallel Processing Researchers at IEEE-CSTCPP Sponsored Conferences
在 IEEE-CSTCPP 赞助的会议上指导下一代并行处理研究人员
- 批准号：
1937369 - 财政年份：2019
- 资助金额：
$ 2.41万 - 项目类别：
Standard Grant
Study of neural mechanisms on visual parallel processing in retina
视网膜视觉并行处理的神经机制研究
- 批准号：
19K12225 - 财政年份：2019
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Developing a methodology for large-scale graph parallel processing based on program synthesis and transformation
开发基于程序合成和转换的大规模图并行处理方法
- 批准号：
19K11901 - 财政年份：2019
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)