A reversible debugging model for real-time concurrent programs

一种实时并发程序的可逆调试模型

基本信息

  • 批准号：
    17H01722
  • 负责人：
    YUEN SHOJI
  • 金额：
    $ 11.9万
  • 依托单位：
    Nagoya University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 财政年份：
    2017
  • 资助国家：
    日本
  • 起止时间：
    2017-04-01 至 2021-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
可逆计算案例研究：并发程序的可逆调试
  • DOI：
    10.1007/978-3-030-47361-7_5
  • 发表时间：
    2020
  • 期刊：
    Lecture Notes in Computer Science
  • 影响因子：
    0
  • 作者：
    Hoey James;Lanese Ivan;Nishida Naoki;Ulidowski Irek;Vidal Germ?n
  • 通讯作者：
    Vidal Germ?n
Multiparty Session Programming with Global Protocol Combinators
  • DOI：
    10.4230/darts.6.2.18
  • 发表时间：
    2020-05
  • 期刊：
    ArXiv
  • 影响因子：
    0
  • 作者：
    Keigo Imai;R. Neykova;N. Yoshida;Shoji Yuen
  • 通讯作者：
    Keigo Imai;R. Neykova;N. Yoshida;Shoji Yuen
NSFC(中国)
国家自然科学基金委员会（中国）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
A theory of reversibility for Erlang
レスター大学/インペリアル・カレッジ(英国)
莱斯特大学/帝国理工学院（英国）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
{{ 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 }}

YUEN SHOJI其他文献

YUEN SHOJI的其他文献

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

{{ truncateString('YUEN SHOJI', 18)}}的其他基金

A discrete execution model of dense-timed programs
密集时间程序的离散执行模型
  • 批准号：
    17K19969
  • 财政年份：
    2017
  • 资助金额：
    $ 11.9万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Exploratory)

相似海外基金

Network of automata with data based on compositional active learning
基于组合主动学习的数据自动机网络
  • 批准号：
    21H03415
  • 财政年份：
    2021
  • 资助金额：
    $ 11.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Declarative Distirbuted Programming based on Combinatorial Topology
基于组合拓扑的声明式分布式编程
  • 批准号：
    20K11678
  • 财政年份：
    2020
  • 资助金额：
    $ 11.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Reproducing dynamic earthquake rupture processes by large scale simulations
通过大规模模拟再现动态地震破裂过程
  • 批准号：
    19K04031
  • 财政年份：
    2019
  • 资助金额：
    $ 11.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Development of Large Scale Multi-Agent Simulation Platform and its application to Social Simulation
大规模多Agent仿真平台开发及其在社会仿真中的应用
  • 批准号：
    18K04623
  • 财政年份：
    2018
  • 资助金额：
    $ 11.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Highly massive parallel evolutionary computation for designing artificial genetic circuits and microbe networks
用于设计人工遗传电路和微生物网络的高度大规模并行进化计算
  • 批准号：
    17H01796
  • 财政年份：
    2017
  • 资助金额：
    $ 11.9万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了