您的位置： 专家智库 > >

简道红

作品数：2 被引量：0H指数：0
供职机构：大连理工大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇学位论文
  • 1篇专利

领域

  • 1篇自动化与计算...

主题

  • 1篇代码
  • 1篇多核
  • 1篇多核处理
  • 1篇多核处理器
  • 1篇多线程
  • 1篇多线程程序
  • 1篇语句
  • 1篇语句结构
  • 1篇源代码
  • 1篇源文件
  • 1篇数据竞争
  • 1篇线程
  • 1篇规则库
  • 1篇安全检测
  • 1篇查询
  • 1篇查询语句
  • 1篇处理器

机构

  • 2篇大连理工大学

作者

  • 2篇简道红
  • 1篇赖晓晨
  • 1篇杨广
  • 1篇崔凯
  • 1篇王洁
  • 1篇周宽久
  • 1篇姚艳双

年份

  • 1篇2013
  • 1篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
多线程程序数据竞争静态检测方法研究
随着多核处理器以及多线程程序应用的普及，多线程技术得到越来越广泛的应用，但是多线程程序本身编程复杂，并且伴随着结果随机性和难以重现等特点，因此，开发多线程程序是困难的，并发性引入了许多顺序程序设计中不存在的错误的可能性。...
简道红
关键词：数据竞争多线程程序多核处理器
文献传递
基于XML中间模型安全检测规则库的建立方法
本发明公开了一种基于XML中间模型的安全检测规则库的设计，属于软件测试领域。在XML中间模型的基础上，把MISRAC++中的每一条规则抽象为缺陷模式。XML中间模型存储了C++源代码的语句结构信息和标识符信息。使用XQu...
周宽久赖晓晨王洁杨广姚艳双简道红崔凯
文献传递
全选 清除 导出
共1页<1>
聚类工具0