位置：成果数据库 > 期刊 > 期刊详情页
Efficient Resource Constrained Scheduling using Parallel Structure-Aware Pruning Techniques
  • 期刊名称：IEEE Transactions on Computers (已录用)
  • 时间：0
  • 页码：-
  • 相关项目：基于高阶规约定向测试的异构系统验证研究
作者： Xiqian Zhang|Geguang Pu|Xin Fu|Prabhat Mishra|
同期刊论文项目
基于高阶规约定向测试的异构系统验证研究
期刊论文 8 会议论文 9 著作 1
同项目期刊论文
基于GPU平台的有效字典压缩与解压缩技术
Learning-oriented Property Decomposition for Automated Generation of Directed Tests
一种基于约束求解的Verilog语言静态分析方法
不确定环境下基于价格时间自动机的智能大厦空调系统调度策略评估
不确定环境下智能大厦空调系统调度策略评估