位置：立项数据库 > 立项详情页
第10届IEEE/IFIP环太平洋地区可信计算国际会议
  • 项目名称：第10届IEEE/IFIP环太平洋地区可信计算国际会议
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：60410206208
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：张大方
  • 依托单位：湖南大学
  • 批准年度：2004
张大方的项目
基于流分析的分布式Java程序模型检查技术研究
期刊论文 56 会议论文 14 专利 6
软件容错测量理论与技术研究
期刊论文 69 会议论文 9
基于端系统的网络在线测量理论与方法研究
期刊论文 39 会议论文 15
基于多核处理器的高性能深度数据包检测技术研究
期刊论文 59 会议论文 22
系统级故障诊断基础理论与算法研究
期刊论文 24 会议论文 13
基于图形处理单元的高性能网络包处理技术研究
期刊论文 7
基于模型检查的软件错误定位技术研究
期刊论文 45 会议论文 9