default search action
Zhuo Cheng
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]Yuanzhang Wang
, Fengkui Yang, Ke Zhou, Chunhua Li, Chong Liu, Ji Zhang, Zhuo Cheng:
An optimized learning-based directory placement policy with two-rounds selection in distributed file systems. Future Gener. Comput. Syst. 154: 235-250 (2024) - [j16]Shuangling Liu, Ming Zhu
Simultaneous Reconstruction of Gas Concentration and Temperature Using Acoustic Tomography. Sensors 24(10): 3128 (2024) - [j15]Yinyuan Wang, Haowen Du, Zhuo Cheng, Changxin Gao
KRRNet: Keypoint Relational Regression Network for Bottom-Up Anchor-Free Object Detection. IEEE Trans. Circuits Syst. Video Technol. 34(4): 2249-2260 (2024) - [c35]Zhuo Cheng
EagleEye: Nanosatellite constellation design for high-coverage, high-resolution sensing. ASPLOS (1) 2024: 117-132 - [c34]Zhuo Cheng, Maria Apostolaki, Zaoxing Liu, Vyas Sekar:
TrustSketch: Trustworthy Sketch-based Telemetry on Cloud Hosts. NDSS 2024 - 2023
- [j14]Yu Liu
SPAE: Lifelong disk failure prediction via end-to-end GAN-based anomaly detection with ensemble update. Future Gener. Comput. Syst. 148: 460-471 (2023) - [j13]Dehu Xiao, Yong Wang, Zhuo Cheng, Tianye Huang
Optimized neural network based path planning for searching indoor pollution source. J. Ambient Intell. Humaniz. Comput. 14(1): 191-205 (2023) - 2022
- [j12]Junru Li
SwitchTx: Scalable In-Network Coordination for Distributed Transaction Processing. Proc. VLDB Endow. 15(11): 2881-2894 (2022) - [j11]Antonis Manousis, Zhuo Cheng, Ran Ben Basat, Zaoxing Liu, Vyas Sekar:
Enabling Efficient and General Subpopulation Analytics in Multidimensional Data Streams. Proc. VLDB Endow. 15(11): 3249-3262 (2022) - [c33]Zhuo Cheng, Samira Shaikh:
A Comparative Study of China's Foreign Ministry Spokesperson's Use of Weibo and Twitter. ASONAM 2022: 552-555 - [c32]Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li:
L-QoCo: learning to optimize cache capacity overloading in storage systems. DAC 2022: 379-384 - [c31]Yibin Gu, Yifan Li, Hua Wang, Li Liu, Ke Zhou, Wei Fang, Gang Hu, Jinhu Liu, Zhuo Cheng:
LPCA: learned MRC profiling based cache allocation for file storage systems. DAC 2022: 511-516 - [c30]Rongshang Li, Yingtian Tang, Qiquan Shi, Hui Mao, Lei Chen, Jikun Jin, Peng Lu, Zhuo Cheng:
Accurate Probabilistic Miss Ratio Curve Approximation for Adaptive Cache Allocation in Block Storage Systems. DATE 2022: 1197-1202 - [c29]Zhuo Cheng, Zhenxing Liu, Guili Yang:
Diagnosis of Arrhythmia Based on Multi-scale Feature Fusion and Imbalanced Data. ICMLT 2022: 92-98 - [c28]Yuanzhang Wang
LDPP: A Learned Directory Placement Policy in Distributed File Systems. ICPP 2022: 27:1-27:11 - [c27]Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng:
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. SOFL+MSVL 2022: 3-11 - [i7]Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li:
LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems. CoRR abs/2203.13678 (2022) - [i6]Antonis Manousis, Zhuo Cheng, Ran Ben Basat, Zaoxing Liu, Vyas Sekar:
Enabling Efficient and General Subpopulation Analytics in Multidimensional Data Streams. CoRR abs/2208.04927 (2022) - 2021
- [j10]Dehu Xiao, Yong Wang, Zhuo Cheng:
Agent-based autonomous pollution source localization for complex environment. J. Ambient Intell. Humaniz. Comput. 12(10): 9481-9489 (2021) - [j9]Zhuo Cheng
Attention cutting and padding learning for fine-grained image recognition. Multim. Tools Appl. 80(21): 32791-32805 (2021) - [j8]Jun Chen
A saliency-based multiscale approach for infrared and visible image fusion. Signal Process. 182: 107936 (2021) - [c26]Xing Li, Qiquan Shi, Gang Hu, Lei Chen, Hui Mao, Yiyuan Yang, Mingxuan Yuan, Jia Zeng, Zhuo Cheng:
Block Access Pattern Discovery via Compressed Full Tensor Transformer. CIKM 2021: 957-966 - [c25]Yingying Cheng, Fan Zhang, Gang Hu, Yiwen Wang, Hanhui Yang, Gong Zhang, Zhuo Cheng:
Block Popularity Prediction for Multimedia Storage Systems Using Spatial-Temporal-Sequential Neural Networks. ACM Multimedia 2021: 3390-3398 - 2020
- [j7]Zhuo Cheng, Hongjian Li, Xiangyan Zeng, Meiqi Wang, Xiaolin Duan:
Hierarchical saliency mapping for weakly supervised object localization based on class activation mapping. Multim. Tools Appl. 79(41-42): 31283-31298 (2020) - [c24]Bonnie J. Dorr, Archna Bhatia, Adam Dalton, Brodie Mather, Bryanna Hebenstreit, Sashank Santhanam, Zhuo Cheng, Samira Shaikh, Alan Zemel, Tomek Strzalkowski:
Detecting Asks in Social Engineering Attacks: Impact of Linguistic and Structural Knowledge. AAAI 2020: 7675-7682 - [c23]Sashank Santhanam, Zhuo Cheng, Brodie Mather, Bonnie J. Dorr, Archna Bhatia, Bryanna Hebenstreit, Alan Zemel, Adam Dalton, Tomek Strzalkowski, Samira Shaikh:
Learning to Plan and Realize Separately for Open-Ended Dialogue Systems. EMNLP (Findings) 2020: 2736-2750 - [c22]Adam Dalton, Ehsan Aghaei, Ehab Al-Shaer, Archna Bhatia, Esteban Castillo, Zhuo Cheng, Sreekar Dhaduvai, Qi Duan, Bryanna Hebenstreit, Md. Mazharul Islam, Younes Karimi, Amir Masoumzadeh, Brodie Mather, Sashank Santhanam, Samira Shaikh, Alan Zemel, Tomek Strzalkowski, Bonnie J. Dorr:
Active Defense Against Social Engineering: The Case for Human Language Technology. STOC@LREC 2020: 1-8 - [c21]Zhuo Cheng, Jinyun Xue, Haitao Zhang, Zhen You, Qimin Hu, Yuto Lim
Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task. SOSE 2020: 72-81 - [i5]Bonnie J. Dorr, Archna Bhatia, Adam Dalton, Brodie Mather, Bryanna Hebenstreit, Sashank Santhanam, Zhuo Cheng, Samira Shaikh, Alan Zemel, Tomek Strzalkowski:
Detecting Asks in SE attacks: Impact of Linguistic and Structural Knowledge. CoRR abs/2002.10931 (2020) - [i4]Adam Dalton, Ehsan Aghaei, Ehab Al-Shaer, Archna Bhatia, Esteban Castillo, Zhuo Cheng, Sreekar Dhaduvai, Qi Duan, Md. Mazharul Islam, Younes Karimi, Amir Masoumzadeh, Brodie Mather, Sashank Santhanam, Samira Shaikh, Tomek Strzalkowski, Bonnie J. Dorr:
The Panacea Threat Intelligence and Active Defense Platform. CoRR abs/2004.09662 (2020) - [i3]Sashank Santhanam, Zhuo Cheng, Brodie Mather, Bonnie J. Dorr, Archna Bhatia, Bryanna Hebenstreit, Alan Zemel, Adam Dalton, Tomek Strzalkowski, Samira Shaikh:
Learning to Plan and Realize Separately for Open-Ended Dialogue Systems. CoRR abs/2009.12506 (2020)
2010 – 2019
- 2019
- [c20]Yuxing Qian, Bingjia Li, Zhizhen Yao, Huakui Lv, Mengnan Che, Zhuo Cheng:
Mining User-Generated Content to Identify Social Support in Chinese Online Smoking Cessation Community. ICMHI 2019: 135-141 - [c19]Jing Wang, Yufan Zheng, Yunzhe Ni, Chenren Xu, Feng Qian, Wangyang Li, Wantong Jiang, Yihua Cheng
An Active-Passive Measurement Study of TCP Performance over LTE on High-speed Rails. MobiCom 2019: 18:1-18:16 - [c18]Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo:
Formal Development and Verification of Reusable Component in PAR Platform. SOFL+MSVL 2019: 155-166 - [i2]Kalvik Jakkala, Arupjyoti Bhuyan, Zhi Sun, Pu Wang, Zhuo Cheng:
Deep CSI Learning for Gait Biometric Sensing and Recognition. CoRR abs/1902.02300 (2019) - 2018
- [j6]Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu:
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. Sci. China Inf. Sci. 61(5): 052102:1-052102:15 (2018) - [j5]Ling Fang, Chunyan Mu, Zhuo Cheng, Guoqiang Li:
Evaluation of redundancy-based system: a model checking approach. Sci. China Inf. Sci. 61(6): 069101:1-069101:3 (2018) - [j4]Xiang Zhao, Tianye Huang
Sensitivity Enhancement in Surface Plasmon Resonance Biochemical Sensor Based on Transition Metal Dichalcogenides/Graphene Heterostructure. Sensors 18(7): 2056 (2018) - [j3]Haitao Zhang, Guoqiang Li
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach. Softw. Test. Verification Reliab. 28(3) (2018) - [c17]Mengmeng Liu
A New Clustering Protocol for Vehicular Networks in ITS. ChinaCom 2018: 615-624 - [c16]Wei Yang, Yuan Wang, Zhixiang Lai, Yadong Wan, Zhuo Cheng:
Security Vulnerabilities and Countermeasures in the RPL-Based Internet of Things. CyberC 2018 - [c15]Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng:
PAR: A Practicable Formal Method and Its Supporting Platform. ICFEM 2018: 70-86 - [c14]Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu:
An efficient approach for verifying automobile distributed application systems on timing property. ICSE (Companion Volume) 2018: 230-231 - [c13]Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie:
Formal Specification and Verification for Real-Time Scheduling Based on PAR. SOFL+MSVL 2018: 108-122 - [i1]Jing Wang, Yufan Zheng, Yunzhe Ni, Chenren Xu, Feng Qian, Wangyang Li, Wantong Jiang, Yihua Cheng, Zhuo Cheng, Yuanjie Li, Xiufeng Xie, Yi Sun, Zhongfeng Wang:
An Active-Passive Measurement Study of TCP Performance over LTE on High-speed Rails. CoRR abs/1812.04823 (2018) - 2017
- [j2]Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
SMT-Based Scheduling for Overloaded Real-Time Systems. IEICE Trans. Inf. Syst. 100-D(5): 1055-1066 (2017) - [c12]Wenbin Wu, Chenyang Li, Zhuo Cheng, Xin Zhang, Lianwen Jin:
YOLSE: Egocentric Fingertip Detection from Single RGB Images. ICCV Workshops 2017: 623-630 - [c11]Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu:
Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. SOFL+MSVL 2017: 51-68 - 2016
- [j1]Zhuo Cheng, Yasuo Tan, Yuto Lim:
Design and evaluation of hybrid temperature control for cyber-physical home systems. Int. J. Model. Identif. Control. 26(3): 196-206 (2016) - [c10]Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
SMT-based scheduling for multiprocessor real-time systems. ICIS 2016: 1-7 - [c9]Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. ICIS 2016: 1-6 - [c8]Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
Scheduling overload for real-time systems using SMT solver. SNPD 2016: 189-194 - [c7]Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
SOFL-based dependency graph generation for scheduling. SoSE 2016: 1-6 - 2015
- [c6]Zhuo Cheng, Haitao Zhang, Yasuo Tan, Azman Osman Lim:
Greedy scheduling with feedback control for overloaded real-time systems. IM 2015: 934-937 - [c5]Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
A Case Study: SOFL + Model Checking for OSEK/VDX Application. SOFL+MSVL 2015: 132-146 - 2014
- [c4]Zhuo Cheng, Haitao Zhang, Yasuo Tan, Azman Osman Lim:
DPSC: A Novel Scheduling Strategy for Overloaded Real-Time Systems. CSE 2014: 1017-1023 - 2013
- [c3]Wai Wai Shein, Zhuo Cheng, Yasuo Tan, Azman Osman Lim:
Study of temperature control using cyber-physical system approach in home environment. CPSNA 2013: 78-83 - [c2]Zhuo Cheng, Wai Wai Shein, Yasuo Tan, Azman Osman Lim:
Energy efficient thermal comfort control for cyber-physical home system. SmartGridComm 2013: 797-802
2000 – 2009
- 2006
- [c1]Lingfang Zeng
Creation of a Java-based Interactive Modeling Environment with Tape Library Model Example. IWNAS 2006: 93-102
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: