登录
免费注册
赞
分享
科研之友
微信
新浪微博
Facebook
分享链接
钱俊彦
广西师范大学, 教授
/
科研之友号:76959271
科研之友人员唯一编号
手机:
1345****032
/
邮箱:
qjy2***@gmail.com
3
项目
246
成果
4471
阅读
1148
下载
612
被引
11
H-指数
主页
成果
工作经历
广西师范大学
计算机科学与信息工程学院, 教授, 2019-12至现在
桂林电子科技大学
教授, 2000-07至2019-12
教育经历
东南大学
2002-03至2008-03
代表成果
Formal verification for C program
Qian, Junyan; Xu, Baowen
Informatica
, 2007, 18(2): 289-304.
赞
收藏
分享
浏览
Model checking for timed statecharts
Qian, JY; Xu, BW
25th International Conference on Formal Techniques for Networked and Distributed Systems
, Taiwan, 2005-10-02 to 2005-10-05.
赞
收藏
分享
浏览
下载全文
Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow
Qian, Junyan
*
; Zhou, Zhide; Gu, Tianlong; Zhao, Lingzhong; Chang, Liang
IEEE Transactions on Parallel and Distributed Systems
, 2016, 27(12): 3575-3587.
赞
收藏
分享
浏览
下载全文
Satisfiability-based method for reconfiguring power efficient VLSI array
Qian, Junyan
*
; Cao, Wei; Hu, Jia; Zhang, Jingwei; Xu, Zhoubo; Zhou, Zhide
IEICE Electronics Express
, 2016, 13(23): 20160930.
赞
收藏
分享
浏览
下载全文
基于关键迹和ASP的CSP模型检测
赵岭忠; 翟仲毅; 钱俊彦
*
; 郭云川
软件学报
, 2015, (10): 2521-2544.
赞
收藏
分享
浏览
下载全文
基于完备抽象解释的性质强保留抽象研究
钱俊彦; 赵岭忠; 蔡国永
计算机学报
, 2014, 37(08): 1754-1767.
赞
收藏
分享
浏览
下载全文
基于上下文定界的递归队列并发程序可达性分析
钱俊彦; 贾书贵; 赵岭忠; 郭云川
计算机学报
, 2014, 37(12): 2574-2585.
赞
收藏
分享
浏览
下载全文
An efficient method for reconfiguring power-efficient VLSI array with maximum satisfiability
Qian Junyan
; Chen Cong; Zhao Lingzhong
*
; Guo Yunchuan
IEEJ Transactions on Electrical and Electronic Engineering
, 2018, 13(5): 770-776.
赞
收藏
分享
浏览
下载全文
Accelerating reconfiguration for VLSI arrays with A-Star algorithm
Qian Junyan
*
; Zhou Zhide; Zhao Lingzhong; Zhang Jingwei; Li Fengying
IEEJ Transactions on Electrical and Electronic Engineering
, 2018, 13(10): 1511-1519.
赞
收藏
分享
浏览
由于隐私设置,内容未完全显示
期刊论文
(0)
close
会议论文
(0)
close
专利
(0)
close
奖励
(0)
close
书/著作
(0)
close
书籍章节
(0)
close
学位论文
(0)
close
标准
(0)
close
软件著作权
(0)
close
其他
(0)
close
EI
(0)
close
SCIE
(0)
close
SSCI
(0)
close
ISTP
(0)
close
CSSCI
(0)
close
北大核心
(0)
close
(0)
close
(0)
close
(0)
close
不限
(0)
close
最新修改
引用
学科分类
软件理论、软件工程与服务
系统软件、数据库与工业软件
计算机科学的基础理论
关键词
信息安全
软件测试
容错处理
形式化技术
相关人员
更多
当前人员不存在或主页设为隐私,无法查看