System for inspection and verification of software with timing requirements

具有时序要求的软件检查和验证系统

基本信息

  • 批准号：
    314649-2005
  • 负责人：
    Xu, Jia
  • 金额：
    $ 2.08万
  • 依托单位：
    York University
  • 依托单位国家：
    加拿大
  • 项目类别：
    Research Tools and Instruments - Category 1 (<$150,000)
  • 财政年份：
    2004
  • 资助国家：
    加拿大
  • 起止时间：
    2004-01-01 至 2005-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 }}

Xu, Jia其他文献

Triplanar osteotomy combined with proximal tibial transverse transport to accelerate healing of recalcitrant diabetic foot ulcers.
  • DOI：
    10.1186/s13018-022-03410-z
  • 发表时间：
    2022-12-08
  • 期刊：
    JOURNAL OF ORTHOPAEDIC SURGERY AND RESEARCH
  • 影响因子：
    2.6
  • 作者：
    Xu, Jia;Li, Shanyu;Sun, Yunchu;Bao, Bingbo;Zhu, Tianhao;Kang, Qinglin;Zheng, Xianyou;Wen, Gen
  • 通讯作者：
    Wen, Gen
Rheb1 is required for mTORC1 and myelination in postnatal brain development.
Rheb1 是产后大脑发育中 mTORC1 和髓鞘形成所必需的。
  • DOI：
    10.1016/j.devcel.2010.11.020
  • 发表时间：
    2011-01-18
  • 期刊：
    DEVELOPMENTAL CELL
  • 影响因子：
    11.8
  • 作者：
    Zou, Jia;Zhou, Liang;Du, Xiao-Xia;Ji, Yifei;Xu, Jia;Tian, Junlong;Jiang, Wanxiang;Zou, Yi;Yu, Shouyang;Gan, Lingxue;Luo, Maowen;Yang, Qiaona;Cui, Yiyuan;Yang, Wanchun;Xia, Xiaoqiang;Chen, Mina;Zhao, Xia;Shen, Ying;Chen, Po Yu;Worley, Paul F.;Xiao, Bo
  • 通讯作者：
    Xiao, Bo
TNF-α, IL-6 and hsCRP in patients with melancholic, atypical and anxious depression: an antibody array analysis related to somatic symptoms.
忧郁，非典型和焦虑抑郁症患者的TNF-α，IL-6和HSCRP：与躯体症状有关的抗体阵列分析。
  • DOI：
    10.1136/gpsych-2022-100844
  • 发表时间：
    2022
  • 期刊：
    GENERAL PSYCHIATRY
  • 影响因子：
    11.9
  • 作者：
    Liu, Hongmei;Wu, Xiaohui;Wang, Yun;Liu, Xiaohua;Peng, Daihui;Wu, Yan;Chen, Jun;Su, Yun'ai;Xu, Jia;Ma, Xiancang;Li, Yi;Shi, Jianfei;Yang, Xiaodong;Rong, Han;Di Forti, Marta;Fang, Yiru
  • 通讯作者：
    Fang, Yiru
Radon-Fourier Transform for Radar Target Detection (II): Blind Speed Sidelobe Suppression
用于雷达目标检测的氡-傅立叶变换（二）：盲速旁瓣抑制

Xu, Jia的其他文献

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

{{ truncateString('Xu, Jia', 18)}}的其他基金

Pre-run-time scheduling and its use in the design of real-time software to meet hard timing requirements
运行前调度及其在实时软件设计中的应用以满足硬时序要求
  • 批准号：
    25210-2003
  • 财政年份：
    2006
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual
Pre-run-time scheduling and its use in the design of real-time software to meet hard timing requirements
运行前调度及其在实时软件设计中的应用以满足硬时序要求
  • 批准号：
    25210-2003
  • 财政年份：
    2005
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual
Pre-run-time scheduling and its use in the design of real-time software to meet hard timing requirements
运行前调度及其在实时软件设计中的应用以满足硬时序要求
  • 批准号：
    25210-2003
  • 财政年份：
    2004
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual
Pre-run-time scheduling and its use in the design of real-time software to meet hard timing requirements
运行前调度及其在实时软件设计中的应用以满足硬时序要求
  • 批准号：
    25210-2003
  • 财政年份：
    2003
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual
Automated pre-run-time scheduling in hard-real-time systems
硬实时系统中的自动运行前调度
  • 批准号：
    25210-1999
  • 财政年份：
    2002
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual
Automated pre-run-time scheduling in hard-real-time systems
硬实时系统中的自动运行前调度
  • 批准号：
    25210-1999
  • 财政年份：
    2001
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual
Automated pre-run-time scheduling in hard-real-time systems
硬实时系统中的自动运行前调度
  • 批准号：
    25210-1999
  • 财政年份：
    2000
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual
Automated pre-run-time scheduling in hard-real-time systems
硬实时系统中的自动运行前调度
  • 批准号：
    25210-1999
  • 财政年份：
    1999
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual
Automated pre-run-time scheduling in hard-real-time systems
硬实时系统中的自动运行前调度
  • 批准号：
    25210-1995
  • 财政年份：
    1998
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual
Automated pre-run-time scheduling in hard-real-time systems
硬实时系统中的自动运行前调度
  • 批准号：
    25210-1995
  • 财政年份：
    1997
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Discovery Grants Program - Individual

相似国自然基金

应用噬菌体多肽对食源性金黄色葡萄球菌与肠毒素快速检测的研究
  • 批准号：
    31101276
  • 批准年份：
    2011
  • 资助金额：
    22.0 万元
  • 项目类别：
    青年科学基金项目
超高速正则表达式匹配技术研究
  • 批准号：
    61073184
  • 批准年份：
    2010
  • 资助金额：
    12.0 万元
  • 项目类别：
    面上项目

相似海外基金

SBIR Phase II: Innovative Glass Inspection for Advanced Semiconductor Packaging
SBIR 第二阶段：先进半导体封装的创新玻璃检测
  • 批准号：
    2335175
  • 财政年份：
    2024
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Cooperative Agreement
PFI-TT: Vine Robots for In-Pipe Navigation and Inspection of Critical Infrastructure
PFI-TT：用于管道内导航和关键基础设施检查的 Vine 机器人
  • 批准号：
    2345769
  • 财政年份：
    2024
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Standard Grant
SBIR Phase I: CAS: Tree Root Quality Inspection System with Noninvasive Evaluation
SBIR 第一阶段：CAS：带无创评估的树根质量检测系统
  • 批准号：
    2333948
  • 财政年份：
    2024
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Standard Grant
LOTIS - Lidar fOr deTailed Inspection of underwater Structures
LOTIS - 用于水下结构详细检查的激光雷达
  • 批准号：
    10089064
  • 财政年份：
    2024
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Collaborative R&D
Automated Digital Inspection for Asset Lifecycle Certification
资产生命周期认证的自动化数字检查
  • 批准号：
    2907093
  • 财政年份：
    2024
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Studentship
SCC-PG: Sustainable Vertiports for Bringing Autonomous Drone Swarm Inspection to Oil and Gas Industry Community
SCC-PG：可持续垂直起落机场为石油和天然气行业带来自主无人机群检查
  • 批准号：
    2323050
  • 财政年份：
    2023
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Standard Grant
SBIR Phase II: Rapid-scanning Ultrafast Imaging Microscope for Material Inspection
SBIR 第二阶段：用于材料检测的快速扫描超快成像显微镜
  • 批准号：
    2208201
  • 财政年份：
    2023
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Cooperative Agreement
SBIR Phase I: Autonomous Inspection Robot for Seal Inspection of Floating Roof Storage Tanks
SBIR第一期：用于浮顶储罐密封检查的自主检查机器人
  • 批准号：
    2233637
  • 财政年份：
    2023
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Standard Grant
AI and Hyperspectral Imaging based Non-Destructive inspection for Advancing Peat Use Efficiency in Whisky Production: A Feasibility Study
基于人工智能和高光谱成像的无损检测提高威士忌生产中泥炭的使用效率：可行性研究
  • 批准号：
    10081207
  • 财政年份：
    2023
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Collaborative R&D
An AI based ultrasonic array inspection of surface breaking defects resided on corroded and uneven surfaces
基于人工智能的超声波阵列检测腐蚀和不平坦表面上的表面破裂缺陷
  • 批准号：
    2887816
  • 财政年份：
    2023
  • 资助金额：
    $ 2.08万
  • 项目类别：
    Studentship
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了