Kuanjiu Zhou

According to our database, Kuanjiu Zhou authored at least 28 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Online Prediction Method for Power System Frequency Response Analysis Based on Swarm Intelligence Fusion Model.

Lin Xu, Li Li, Meiying Wang, Xiangxu Wang, Yicong Li, Weidong Li, Kuanjiu Zhou

IEEE Access, 2023

2021

EHSTM: a formal model of embedded software and research on several key issues.

Masahiko Watanabe, Kuanjiu Zhou, Yicong Li, Zizhong Wang, Junyu Li

CCF Trans. High Perform. Comput., 2021

Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers.

Yicong Li, Kuanjiu Zhou, Lin Xu, Meiying Wang, Nan Liu

Proceedings of the Algorithms and Architectures for Parallel Processing, 2021

2020

Interrupt nesting method based on time slice in embedded software.

Yingjie Wang, Kuanjiu Zhou, Jie Pan, Mingchu Li

Int. J. Inf. Commun. Technol., 2020

Research on Real-Time Embedded Software Scheduling Model Based on EDF.

Yingjie Wang, Kuanjiu Zhou, Zumin Wang, Mingchu Li, Nan Chen, Bin Li, Hongxuan Tian

IEEE Access, 2020

2019

实时嵌入式系统的WCET分析与预测研究综述 (Survey of WCET Analysis and Prediction for Real-time Embedded Systems).

Yingjie Wang, Kuanjiu Zhou, Mingchu Li

计算机科学, 2019

Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.

Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin

Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019

A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning.

Jie Wang, Shuangmin Deng, Junjie Kang, Gang Hou, Kuanjiu Zhou, Chi Lin

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

2018

Analysis of Interrupt Behavior Based on Probabilistic Model Checking.

Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

2017

基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model).

Haoran Liang, Kuanjiu Zhou, Kai Cui, Jie Pan, Gang Hou

计算机科学, 2017

Effective hybrid load scheduling of online and offline clusters for e-health service.

Kai Cui, Jie Wang, Houbing Song, Chi Lin, Kuanjiu Zhou, Mingchu Li

Neurocomputing, 2017

A novel green software evaluation model for cloud robotics.

Gang Hou, Kuanjiu Zhou, Tie Qiu, Xun Cao, Mingchu Li, Jie Wang

Comput. Electr. Eng., 2017

A hierarchical combinatorial testing method for smart phone software in wearable IoT systems.

Kai Cui, Kuanjiu Zhou, Tie Qiu, Mingchu Li, Leiming Yan

Comput. Electr. Eng., 2017

Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN.

Gang Hou, Kuanjiu Zhou, Tie Qiu, Weiqiang Kong, Mingchu Li

IEEE Access, 2017

Automated Software Testing Based on Hierarchical State Transition Matrix for Smart TV.

Kai Cui, Kuanjiu Zhou, Houbing Song, Mingchu Li

IEEE Access, 2017

2016

ETSTM: A New Green Software Model.

Gang Hou, Kuanjiu Zhou, Yanran Wu, Zongzheng Chi, Jie Wang, Mingchu Li

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

2015

Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling.

Gang Hou, Yinfeng Ban, Kuanjiu Zhou, Jie Wang, Mingchu Li, Zihao Liao

Proceedings of the Ninth International Conference on Frontier of Computer Science and Technology, 2015

2014

A Regular Expression Matching Approach to Distributed Wireless Network Security System.

Jie Wang, Yanshuo Yu, Kuanjiu Zhou

Int. J. Netw. Secur., 2014

A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform.

Shenglai Yang, Kuanjiu Zhou, Jie Wang, Bin Liu, Ting Li

Proceedings of the Advanced Computer Architecture - 10th Annual Conference, 2014

2013

Evaluation of the Task Communication Performance in Wireless Sensor Networks: A Queue Theory Approach.

Jie Wang, Kuanjiu Zhou, Kai Cui, Xiangjie Kong, Guang Yang

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

Accelerating Software Model Checking Based on Program Backbone.

Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang

Proceedings of the Advanced Parallel Processing Technologies, 2013

Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets.

Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li

Proceedings of the Advanced Parallel Processing Technologies, 2013

2012

Software Reliability Test Based on Markov Usage Model.

Kuanjiu Zhou, Xiaolong Wang, Gang Hou, Jie Wang, Shanbin Ai

J. Softw., 2012

A Method of Software Defects Mining Based on Static Analysis.

Xiaochen Lai, Kuanjiu Zhou, Likun Li, Lemin Tang, Yanshuang Yao, Liang Yu

Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

2011

Supervised Gabor-Based Kernel Locality Preserving Projections for Face Recognition.

Chuang Lin, Xirui Sun, Kuanjiu Zhou, Feng Xia

Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

2007

An Improved NN-SVM Based on K Congener Nearest Neighbors Classification Algorithm.

Shirong Zhang, Kuanjiu Zhou, Yuan Tian

Proceedings of the Knowledge Science, 2007

Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time.

Gang Hou, Kuanjiu Zhou, Yang Tian

Proceedings of the Knowledge Science, 2007

An Intelligent Query System Based on Chinese Short Message Service for Restaurant Recommendation.

Wubin Guo, Xiangpei Hu, Kuanjiu Zhou, Lijun Sun

Proceedings of the International Conference on Mobile Business (ICMB 2007), 2007