|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 大连理工大学软件评测中心主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：开发区校区综合楼409
联系方式：zhoukj@dlut.edu.cn 13804248599
电子邮箱：zhoukj@dlut.edu.cn
扫描关注
- [61]周宽久, 王洁.一种基于FPGA的高性能多模式匹配算法[J],东北大学学报（自然科学版）,2014,35(S1):179-180
- [62]周宽久, 赖晓晨.Power control based channel allocation method for ad hoc networks[A],2014,484(2):299-302
- [63]周宽久, 王洁, 林驰.基于FSM的android系统软件安全验证方法[A],2014
- [64]周宽久, 王洁, 李明楚.基于EDSPN的嵌入式系统中断行为建模与分析[J],东北大学学报（自然科学版）,2014,35(S1):201-206
- [65]于维扬, 周宽久, 王洁, 侯刚.一种基于FPGA的高性能多模式匹配算法[A],2014
- [66]侯刚, 周宽久, 王洁, 常军旺, 李明楚.基于EDSPN的嵌入式系统中断行为建模与分析[A],2014
- [67]王小龙, 周宽久, 侯刚, 勇嘉伟, 王洁.一种定理证明与模型检测融合的软件验证加速方法[A],2014
- [68]王洁, 柳继委, 侯刚, 周宽久.基于FPGA的片上虚拟化验证框架[A],2014
- [69]王小龙, 周宽久, 勇嘉伟, 任龙涛, 侯刚.基于程序骨架的软件模型验证加速方法[A],2013,736-740
- [70]王洁, 于颜硕, 周宽久, 侯刚.基于MapReduce的Web标签SOINN聚类算法[A],2013,295-302
- [71]王小龙, 侯刚, 任龙涛, 周宽久, 常军旺, 王竹.软件动态执行网络建模及其级联故障分析[A],2013,109-114
- [72]周宽久, 任龙涛, 王小龙, 勇嘉伟, 侯刚.基于层次化时间STM软件设计的形式化验证[A],2013,42-46
- [73]Jie W., Zhou K.-J., Cui K., Kong X.-J., Yang G..Evaluation of the task communication performance in wireless sensor networks: A queue theory appr...[A],2013,939-944
- [74]Yao Y., Lai X., Zhou K., Lu S., Zhao Y., Zhou G..Design and implementation of configurable CPU[A],2013,272 LNEE(VOL. 3):171-178
- [75]侯刚, 周宽久, 勇嘉伟, 任龙涛, 王小龙.模型检测中状态爆炸问题研究综述[J],计算机科学,2013,40(z1):77-86,111
- [76]王洁, 于颜硕, 侯刚, 周宽久, Wang, J.(wang_jie@dlut.edu.cn).一种面向分布式无线网络的正则表达式匹配[J],清华大学学报. 自然科学版,2013,53(12):1676
- [77]王洁, 周宽久, 赖晓晨.计算机组织与结构教学改革研究[J],教育与教学改革论文集,2013,26:215-217
- [78]周宽久.Accelerating Software Model Checking based on Program Backbone[A],2013,347-358
- [79]周宽久, 李明楚.Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets[A],2013,62-76
- [80]王洁, 周宽久.基于分布式无线网络安全的正则表达式匹配方法[A],2013