中国矿业大学主页平台系统 wangguanjun--Home-- 考虑多字长环境的高层次测试综合方法

王冠军 Associate professor

王冠军，中国矿业大学专任教师，博士，副教授。RoboCup Junior技术委员会委员、中国电子学会会员、江苏省人工智能学会会员、“全国应用型人才培养工程”创新创业导师、清华启迪创业导师、中国(工程)机器人竞赛优秀指导教师、全国集成电路创新创业竞赛优秀指导教师、中国矿业大学创新创业导师、机器人竞赛(社团)指导教师。曾获煤炭行业教育教学成果奖二等奖(高等教育)、中国矿业大学校级优秀教学成果奖一等奖、校青年教案比赛特...Detials

Recommended Ph.D.Supervisor Recommended MA Supervisor

Paper Publications Current position: Home > Scientific Research > Paper Publications

考虑多字长环境的高层次测试综合方法

Release time:2021-09-28 Hits:

Affiliation of Author(s):计算机科学与技术学院
First Author:wangguanjun
Indexed by:Journal paper
Document Code:paper_61695
Translation or Not:no
Date of Publication:2010-01-01

Pre One: 有限域上基于Grobner基的高级综合优化方法

Next One: Low Power Behavioral Synthesis