课题基金基金详情
基于形式化方法的处理器安全验证
批准号:
62372258
项目类别:
面上项目
资助金额:
50 万元
负责人:
王海霞
依托单位:
学科分类:
F.信息科学部
结题年份:
--
批准年份:
2023
项目状态:
未结题
项目参与者:
王海霞
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
客服二维码
微信扫码咨询
相变内存耐久性研究
  • 批准号:
    61303002
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    23.0万元
  • 批准年份:
    2013
  • 负责人:
    王海霞
  • 依托单位:
基于共享关系Cache的片上多处理器系统结构和并行程序优化研究
  • 批准号:
    60773146
  • 项目类别:
    面上项目
  • 资助金额:
    26.0万元
  • 批准年份:
    2007
  • 负责人:
    王海霞
  • 依托单位:
国内基金
海外基金