Improving quality of concurrent and distributed systems by combining testing and formal verification

通过结合测试和形式验证来提高并发和分布式系统的质量

基本信息

  • 批准号：
    203248-2002
  • 负责人：
    Chen, XiaoJun
  • 金额：
    $ 1.75万
  • 依托单位：
    University of Windsor
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Grants Program - Individual
  • 财政年份：
    2002
  • 资助国家：
    加拿大
  • 起止时间：
    2002-01-01 至 2003-12-31
  • 项目状态：
    已结题

项目摘要

No summary - Aucun sommaire
没有摘要--Aucun Sommaire

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ 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 }}

Chen, XiaoJun其他文献

An image-guided hybrid robot system for dental implant surgery
A Methodology for Task placement and Scheduling Based on Virtual Machines
基于虚拟机的任务放置与调度方法
On the Performance of Cognitive Relay Networks Under Primary User's Outage Constraint
主用户停电约束下的认知中继网络性能研究
  • DOI：
    10.1109/lcomm.2011.030311.110013
  • 发表时间：
    2011-03
  • 期刊：
    IEEE Communications Letters
  • 影响因子：
    0
  • 作者：
    Si, JiangBo;Li, Zan;Chen, XiaoJun;Hao, BenJian;Liu, ZengJi
  • 通讯作者：
    Liu, ZengJi

Chen, XiaoJun的其他文献

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

{{ truncateString('Chen, XiaoJun', 18)}}的其他基金

Advancing the applicability of model checking and FSM-based testing techniques to complex software systems
提高模型检查和基于 FSM 的测试技术对复杂软件系统的适用性
  • 批准号：
    203248-2006
  • 财政年份：
    2007
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Discovery Grants Program - Individual
Advancing the applicability of model checking and FSM-based testing techniques to complex software systems
提高模型检查和基于 FSM 的测试技术对复杂软件系统的适用性
  • 批准号：
    203248-2006
  • 财政年份：
    2006
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Discovery Grants Program - Individual
Improving quality of concurrent and distributed systems by combining testing and formal verification
通过结合测试和形式验证来提高并发和分布式系统的质量
  • 批准号：
    203248-2002
  • 财政年份：
    2005
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Discovery Grants Program - Individual
Improving quality of concurrent and distributed systems by combining testing and formal verification
通过结合测试和形式验证来提高并发和分布式系统的质量
  • 批准号：
    203248-2002
  • 财政年份：
    2004
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Discovery Grants Program - Individual
Improving quality of concurrent and distributed systems by combining testing and formal verification
通过结合测试和形式验证来提高并发和分布式系统的质量
  • 批准号：
    203248-2002
  • 财政年份：
    2003
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Discovery Grants Program - Individual
an integrated environment for fault injection testing in middleware-based distributed applications
基于中间件的分布式应用程序中的故障注入测试集成环境
  • 批准号：
    263014-2003
  • 财政年份：
    2002
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Research Tools and Instruments - Category 1 (<$150,000)
Formal methods towards correct software design in concurrent systems
并发系统中正确软件设计的形式化方法
  • 批准号：
    203248-1998
  • 财政年份：
    2000
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Discovery Grants Program - Individual
Formal methods towards correct software design in concurrent systems
并发系统中正确软件设计的形式化方法
  • 批准号：
    203248-1998
  • 财政年份：
    1999
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Discovery Grants Program - Individual
Formal methods towards correct software design in concurrent systems
并发系统中正确软件设计的形式化方法
  • 批准号：
    203248-1998
  • 财政年份：
    1998
  • 资助金额：
    $ 1.75万
  • 项目类别：
    Discovery Grants Program - Individual

相似国自然基金

网络控制系统的隐马尔可夫建模与控制
  • 批准号：
    61004026
  • 批准年份：
    2010
  • 资助金额：
    20.0 万元
  • 项目类别：
    青年科学基金项目
汶川地震后不同时期儿童创伤后应激障碍和生命质量的比较分析及对策研究
  • 批准号：
    71073170
  • 批准年份：
    2010
  • 资助金额：
    27.0 万元
  • 项目类别：
    面上项目
多跳无线 MESH 网络中 QoS 保障算法的研究设计和性能分析
  • 批准号：
    60902041
  • 批准年份：
    2009
  • 资助金额：
    20.0 万元
  • 项目类别：
    青年科学基金项目
Web Service QoS的多维多尺度模型及评估、预测方法的研究
  • 批准号：
    60803011
  • 批准年份：
    2008
  • 资助金额：
    19.0 万元
  • 项目类别：
    青年科学基金项目
龙麦19小麦品种醇溶蛋白近等基因系研究
  • 批准号：
    30871525
  • 批准年份：
    2008
  • 资助金额：
    30.0 万元
  • 项目类别：
    面上项目
基于随机网络演算的无线机会调度算法研究
  • 批准号：
    60702009
  • 批准年份：
    2007
  • 资助金额：
    24.0 万元
  • 项目类别：
    青年科学基金项目
支持IP网视频传输的应用层多时间尺度QoS控制
  • 批准号：
    60372019
  • 批准年份：
    2003
  • 资助金额：
    6.0 万元
  • 项目类别：
    面上项目
Web服务质量（QoS）控制的策略、模型及其性能评价研究
  • 批准号：
    60373013
  • 批准年份：
    2003
  • 资助金额：
    20.0 万元
  • 项目类别：
    面上项目

相似海外基金

Microfluidic Technology for Concurrent Assessment of Red Blood Cell Adhesion and Deformability
用于同时评估红细胞粘附和变形能力的微流控技术
  • 批准号：
    10915870
  • 财政年份：
    2023
  • 资助金额：
    $ 1.75万
  • 项目类别：
Concurrent Validity, Test-Retest Reliability, and Sensitivity to Change of Functional Near-Infrared Spectroscopy for Measuring Language-Related Brain Activity in Post-Stroke Aphasia
功能性近红外光谱测量中风后失语症语言相关大脑活动的同时有效性、重测可靠性和敏感性变化
  • 批准号：
    10538100
  • 财政年份：
    2022
  • 资助金额：
    $ 1.75万
  • 项目类别：
Microfluidic Technology for Concurrent Assessment of Red Blood Cell Adhesion and Deformability
用于同时评估红细胞粘附和变形能力的微流控技术
  • 批准号：
    10384175
  • 财政年份：
    2022
  • 资助金额：
    $ 1.75万
  • 项目类别：
Concurrent Validity, Test-Retest Reliability, and Sensitivity to Change of Functional Near-Infrared Spectroscopy for Measuring Language-Related Brain Activity in Post-Stroke Aphasia
功能性近红外光谱测量中风后失语症语言相关大脑活动的同时有效性、重测可靠性和敏感性
  • 批准号：
    10709585
  • 财政年份：
    2022
  • 资助金额：
    $ 1.75万
  • 项目类别：
A low-input compatible, end-to-end kitted HiChIP workflow for concurrent analyses of transcriptional protein binding and chromatin interactions toward a mechanistic understanding of gene regulation
低输入兼容、端到端配套的 HiChIP 工作流程，用于同时分析转录蛋白结合和染色质相互作用，从而从原理上理解基因调控
  • 批准号：
    10383712
  • 财政年份：
    2021
  • 资助金额：
    $ 1.75万
  • 项目类别：
A low-input compatible, end-to-end kitted HiChIP workflow for concurrent analyses of transcriptional protein binding and chromatin interactions toward a mechanistic understanding of gene regulation
低输入兼容、端到端配套的 HiChIP 工作流程，用于同时分析转录蛋白结合和染色质相互作用，从而从原理上理解基因调控
  • 批准号：
    10259543
  • 财政年份：
    2021
  • 资助金额：
    $ 1.75万
  • 项目类别：
The LIMIting AAA with meTformin (LIMIT) Trial
使用二甲双胍限制 AAA (LIMIT) 试验
  • 批准号：
    10054902
  • 财政年份：
    2020
  • 资助金额：
    $ 1.75万
  • 项目类别：
Concurrent trajectories of physical frailty and cognitive impairment among nursing home residents and community-dwelling older adults
疗养院居民和社区老年人身体虚弱和认知障碍的并发轨迹
  • 批准号：
    10250404
  • 财政年份：
    2020
  • 资助金额：
    $ 1.75万
  • 项目类别：
Mechanisms Underlying Tongue Muscle Dysfunction and Dysphagia Following Concurrent Chemoradiation Therapy
同步放化疗后舌肌功能障碍和吞咽困难的机制
  • 批准号：
    10203915
  • 财政年份：
    2020
  • 资助金额：
    $ 1.75万
  • 项目类别：
The LIMIting AAA with meTformin (LIMIT) Trial
使用二甲双胍限制 AAA (LIMIT) 试验
  • 批准号：
    10274809
  • 财政年份：
    2020
  • 资助金额：
    $ 1.75万
  • 项目类别：
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了