您的位置： 专家智库 > >

李梦竹

作品数：4 被引量：0H指数：0
供职机构：中国科学院计算技术研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文专利

领域

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

主题

  • 2篇调度
  • 2篇动态特征
  • 2篇多核
  • 2篇多核处理
  • 2篇多核处理器
  • 2篇信息函数
  • 2篇异构
  • 2篇异构多核
  • 2篇异构多核处理...
  • 2篇数据竞争
  • 2篇重放
  • 2篇线程
  • 2篇并行测试
  • 2篇处理器
  • 1篇调度方法
  • 1篇线程调度
  • 1篇可执行文件
  • 1篇共享
  • 1篇共享变量

机构

  • 4篇中国科学院

作者

  • 4篇陈云霁
  • 4篇李梦竹
  • 2篇陈天石
  • 2篇李磊
  • 2篇冯晓雪
  • 2篇陆超
  • 2篇王磊

年份

  • 2篇2016
  • 2篇2013
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于确定性重放的并行系统弱一致性的验证方法和系统
本发明公开了一种基于确定性重放的并行系统弱一致性的验证方法和系统。包括：数据竞争检测步骤，检测并行测试程序中存在的数据竞争操作，识别所有全局共享变量，对并行测试程序进行两次编译生成第一、二可执行文件,分别注入记录序信息函...
冯晓雪陈云霁李磊李梦竹
一种异构多核线程调度方法、系统及异构多核处理器
本发明涉及一种异构多核线程调度方法，包括根据程序的动态特征分别为线程和核生成排序列表，并根据排序列表找出线程和核的最优的稳定匹配，根据该稳定匹配进行线程调度。包括接收运行在该核的线程的特征向量，并据其为该线程给各个核进行...
王磊陈云霁陈天石陆超李梦竹
文献传递
基于确定性重放的并行系统弱一致性的验证方法和系统
本发明公开了一种基于确定性重放的并行系统弱一致性的验证方法和系统。包括：数据竞争检测步骤，检测并行测试程序中存在的数据竞争操作，识别所有全局共享变量，对并行测试程序进行两次编译生成第一、二可执行文件,分别注入记录序信息函...
冯晓雪陈云霁李磊李梦竹
文献传递
一种异构多核线程调度方法、系统及异构多核处理器
本发明涉及一种异构多核线程调度方法，包括根据程序的动态特征分别为线程和核生成排序列表，并根据排序列表找出线程和核的最优的稳定匹配，根据该稳定匹配进行线程调度。包括接收运行在该核的线程的特征向量，并据其为该线程给各个核进行...
王磊陈云霁陈天石陆超李梦竹
文献传递
全选 清除 导出
共1页<1>
聚类工具0