Min Gao
Min Gao
Falcon Computing Solutions
Adresse e-mail validée de falcon-computing.com
Citée par
Citée par
Energy big data: A survey
H Jiang, K Wang, Y Wang, M Gao, Y Zhang
IEEE Access 4, 3844-3861, 2016
Probabilistic model checking and scheduling implementation of an energy router system in energy Internet for green cities
M Gao, K Wang, L He
IEEE Transactions on Industrial Informatics 14 (4), 1501-1510, 2018
A data placement strategy based on clustering and consistent hashing algorithm in Cloud Computing
Q Li, K Wang, S Wei, X Han, L Xu, M Gao
9th International Conference on Communications and Networking in China, 478-483, 2014
LKM: A LDA-Based K-Means Clustering Algorithm for Data Analysis of Intrusion Detection in Mobile Sensor Networks
Y Zhang, K Wang, M Gao, Z Ouyang, S Chen
International Journal of Distributed Sensor Networks 11 (10), 491910, 2015
Probabilistic model checking for green energy router system in energy Internet
M Gao, K Wang, L He
GLOBECOM 2017-2017 IEEE Global Communications Conference, 1-6, 2017
Llsplat: Improving concolic testing by bounded model checking
M Gao, L He, R Majumdar, Z Wang
2016 IEEE 16th International Working Conference on Source Code Analysis and …, 2016
A behavioral algorithm for state of charge estimation
A Balkan, M Gao, P Tabuada, L He
World Electric Vehicle Journal 5 (2), 412-417, 2012
A Dispatching Method for Integrated Energy System Based on Dynamic Time-interval of Model Predictive Control
X Dou, J Wang, Z Wang, L Li, L Bai, S Ren, M Gao
Journal of Modern Power Systems and Clean Energy 8 (5), 841-852, 2020
NAPR: A node activity-based probabilistic routing algorithm in Delay Tolerant-Mobile Sensor Networks
K Wang, Y Zhang, L Shu, C Zhu, M Gao
2015 IEEE International Conference on Communications (ICC), 7002-7006, 2015
AutoDSE: Enabling Software Programmers Design Efficient FPGA Accelerators
A Sohrabizadeh, CH Yu, M Gao, J Cong
arXiv preprint arXiv:2009.14381, 2020
Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet
M Gao
UCLA, 2018
Codecomb: 基于符号执行的嵌入式软件测试案例自动生成与缺陷检测
郭文生, 汪勇, 杨霞, 高敏
小型微型计算机系统 6, 2017
郭文生, 杨国武, 李晓瑜, 高敏
电子科技大学学报, 881-886, 2015
A Fast Method for SRAM Failure Estimation
M Gao
UCLA, 2012
Electro-information management system with vicious load identifying function as well as multifunctional ammeter
MG Guizhong Tang, Guangming Zhang, Lijian Liu
CN Patent CN202,076,846 U, 2011
A data placement strategy based on clustering and consistent hashing algorithm in Cloud Computing
M Gao
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–16