课题基金 / 基金详情

embedded systems lab

embedded systems lab
嵌入式系统实验室
批准号：
391201-2010
负责人：
Lam, Patrick
金额：
$4.86万
依托单位：
University of Waterloo
依托单位国家：
加拿大
项目类别：
Research Tools and Instruments - Category 1 (<$150,000)
财政年份：
2009
资助国家：
加拿大
项目状态：
已结题
起止时间：
2009-01-01 至 2010-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=443394
关键词：
embeddedsystemslab

项目摘要

项目成果

Lam, Patrick的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Embedded systems are omnipresent, from consumer applications like microwave ovens and automotive control systems, to safety-critical industrial systems for factory automation and avionics. As the reach of embedded systems continues to grow, developers will require better tools for embedded systems software development.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Leveraging Test Suites for Better Program Analysis
  • 批准号：
    RGPIN-2018-03983
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $4.08万
  • 财政年份：
    2022
  • 负责人：
    Lam, Patrick
  • 依托单位：
    University of Waterloo
Leveraging Test Suites for Better Program Analysis
  • 批准号：
    RGPIN-2018-03983
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2021
  • 负责人：
    Lam, Patrick
  • 依托单位：
    University of Waterloo
Leveraging Test Suites for Better Program Analysis
  • 批准号：
    RGPIN-2018-03983
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2020
  • 负责人：
    Lam, Patrick
  • 依托单位：
    University of Waterloo
Leveraging Test Suites for Better Program Analysis
  • 批准号：
    RGPIN-2018-03983
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2019
  • 负责人：
    Lam, Patrick
  • 依托单位：
    University of Waterloo
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    MATHIEULOUROCHLAURIERE
  • 依托单位：
    上海纽约大学
EstimatingLarge Demand Systems with MachineLearning Techniques
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    IoshuaAlex
  • 依托单位：
    西南财经大学经济学院
基于“阳化气、阴成形”理论探讨龟鹿二仙胶调控 HIF-1α/Systems Xc-通路抑制铁死亡治疗少弱精子症的作用机理
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    15.0万元
  • 批准年份：
    2024
  • 负责人：
    丁劲
  • 依托单位：
    深圳市宝安区中医院
Understanding complicated gravitational physics by simple two-shell systems
  • 批准号：
    12005059
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    国分隆文
  • 依托单位：
    湖南师范大学