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;中根里空,結縁祥治
- 通讯作者:中根里空,結縁祥治
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)
連続時間量子ウォークによる量子探索アルゴリズムに関する研究
使用连续时间量子行走的量子搜索算法研究
- 批准号:
23K13017 - 财政年份:2023
- 资助金额:
$ 3.99万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
連続時間確率最適制御における下方リスク最小化問題の数値解析
连续时间随机最优控制中下行风险最小化问题的数值分析
- 批准号:
23K16843 - 财政年份:2023
- 资助金额:
$ 3.99万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
非正規連続時間モデルの統計理論構築
非正态连续时间模型的统计理论构建
- 批准号:
23K13023 - 财政年份:2023
- 资助金额:
$ 3.99万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
大規模な量子計算機の実現に向けた理論研究:連続時間量子ウォークを用いたアプローチ
实现大规模量子计算机的理论研究:一种使用连续时间量子行走的方法
- 批准号:
23KJ1962 - 财政年份:2023
- 资助金额:
$ 3.99万 - 项目类别:
Grant-in-Aid for JSPS Fellows
連続時間社会的ジレンマの実験検証
连续时间社会困境的实验验证
- 批准号:
19K01705 - 财政年份:2019
- 资助金额:
$ 3.99万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
確率制御理論の応用による連続時間ゲームの分析
应用随机控制理论分析连续时间博弈
- 批准号:
12J08804 - 财政年份:2012
- 资助金额:
$ 3.99万 - 项目类别:
Grant-in-Aid for JSPS Fellows
連続時間確率過程を考慮したコロイド共存系での核種移行不確実性解析手法の構築
考虑连续时间随机过程的胶体共存体系核素迁移不确定性分析方法构建
- 批准号:
22246124 - 财政年份:2010
- 资助金额:
$ 3.99万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
射影に基づく連続時間システムの同定
基于投影的连续时间系统识别
- 批准号:
20656070 - 财政年份:2008
- 资助金额:
$ 3.99万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research