A discrete execution model of dense-timed programs

密集时间程序的离散执行模型

基本信息

  • 批准号:
    17K19969
  • 负责人:
  • 金额:
    $ 3.99万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
  • 财政年份:
    2017
  • 资助国家:
    日本
  • 起止时间:
    2017-06-30 至 2020-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
サンプリング時間実行におけるUppaalを用いたYampaプログラムの振舞い検証
在采样时间执行期间使用 Uppaal 验证 Yampa 程序行为
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Y. Ono;K. Esaki;Y. Takahashi;M. Nakabayashi;M. Ichinose;K. J. Lee;中根里空,結縁祥治
  • 通讯作者:
    中根里空,結縁祥治
NSFC(中国)
国家自然科学基金委员会(中国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
華東師範大学/上海交通大学(中国)
华东师范大学/上海交通大学(中国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
離散時間実行環境におけるYampaプログラムの振舞いモデル
离散时间执行环境中 Yampa 程序的行为模型
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    市橋友樹;結縁祥治
  • 通讯作者:
    結縁祥治
Session-ocaml: A Session-Based Library with Polarities and Lenses
Session-ocaml:具有极性和透镜的基于会话的库
  • DOI:
    10.1007/978-3-319-59746-1_6
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Imai Keigo;Yoshida Nobuko;Yuen Shoji
  • 通讯作者:
    Yuen Shoji
{{ 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 }}

YUEN SHOJI其他文献

YUEN SHOJI的其他文献

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

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

A reversible debugging model for real-time concurrent programs
一种实时并发程序的可逆调试模型
  • 批准号:
    17H01722
  • 财政年份:
    2017
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)

相似海外基金

連続時間ゲームにおける戦略の制限
连续时间博弈中策略的局限性
  • 批准号:
    24K04797
  • 财政年份:
    2024
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
連続時間量子フィードバック制御によるロバストな量子誤り訂正の開発
使用连续时间量子反馈控制开发鲁棒量子纠错
  • 批准号:
    23K26126
  • 财政年份:
    2024
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
SERVICES TO EXTEND METHODS FOR RISK PREDICTION WITH A CONTINUOUS TIME MODEL FOR SURVIVAL UNDER COMPETING RISKS
通过连续时间模型扩展风险预测方法的服务,以实现竞争风险下的生存
  • 批准号:
    10974264
  • 财政年份:
    2023
  • 资助金额:
    $ 3.99万
  • 项目类别:
連続時間量子ウォークによる量子探索アルゴリズムに関する研究
使用连续时间量子行走的量子搜索算法研究
  • 批准号:
    23K13017
  • 财政年份:
    2023
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
CAREER: New Frontiers in Continuous-time Open Quantum Systems
职业:连续时间开放量子系统的新领域
  • 批准号:
    2238766
  • 财政年份:
    2023
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Continuing Grant
MACON-QC: Many-Body Phases In Continuous-Time Quantum Computation
MACON-QC:连续时间量子计算中的多体相
  • 批准号:
    EP/Y004590/1
  • 财政年份:
    2023
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Research Grant
Development of Robust Quantum Error Correction by Continuous-Time Quantum Feedback Control
通过连续时间量子反馈控制开发鲁棒量子纠错
  • 批准号:
    23H01432
  • 财政年份:
    2023
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
CAREER: Transforming Distribution System Situational Awareness via Continuous-Time Adaptive Data Fusion
职业:通过连续时间自适应数据融合改变配电系统态势感知
  • 批准号:
    2348289
  • 财政年份:
    2023
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Continuing Grant
連続時間確率最適制御における下方リスク最小化問題の数値解析
连续时间随机最优控制中下行风险最小化问题的数值分析
  • 批准号:
    23K16843
  • 财政年份:
    2023
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Data-driven iterative learning control for continuous-time systems
连续时间系统的数据驱动迭代学习控制
  • 批准号:
    2891700
  • 财政年份:
    2023
  • 资助金额:
    $ 3.99万
  • 项目类别:
    Studentship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了