Huadong Dai

According to our database, Huadong Dai authored at least 34 papers between 2003 and 2024.

Collaborative distances:

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

2024

Enabling Behaviour Tree Verification via a Translation to BIP.

Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

LLM-Based Processor Verification: A Case Study for Neuronnorphic Processor.

Chao Xiao, Yifei Deng, Zhijie Yang, Renzhi Chen, Hong Wang, Jingyue Zhao, Huadong Dai, Lei Wang, Yuhua Tang, Weixia Xu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

Joint Optimization of Trajectory and Image Transmission in Multi-UAV Semantic Communication Networks.

Xiancai Yao, Jianchao Zheng, Xin Zheng, Huadong Dai, Xiaolong Yang

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

KURL: A Knowledge-Guided Reinforcement Learning Model for Active Object Tracking.

Xin Liu, Jie Tan, Xiaoguang Ren, Weiya Ren, Huadong Dai

Proceedings of the Asian Conference on Machine Learning, 2023

2022

Efficient maintenance for maximal bicliques in bipartite graph streams.

Ziyi Ma, Yuling Liu, Yikun Hu, Jianye Yang, Chubo Liu, Huadong Dai

World Wide Web, 2022

2021

micROS.BT: An Event-Driven Behavior Tree Framework for Swarm Robots.

Yunlong Wu, Jinghua Li, Huadong Dai, Xiaodong Yi, Yanzhen Wang, Xuejun Yang

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Automated Software Vulnerability Detection via Pre-trained Context Encoder and Self Attention.

Na Li, Haoyu Zhang, Zhihui Hu, Guang Kou, Huadong Dai

Proceedings of the Digital Forensics and Cyber Crime - 12th EAI International Conference, 2021

2020

An Actor-based Programming Framework for Swarm Robotic Systems.

Wei Yi, Bin Di, Ruihao Li, Huadong Dai, Xiaodong Yi, Yanzhen Wang, Xuejun Yang

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Attentional Fused Temporal Transformation Network for Video Action Recognition.

Ke Yang, Zhiyuan Wang, Huadong Dai, Tianlong Shen, Peng Qiao, Xin Niu, Jie Jiang, Dongsheng Li, Yong Dou

Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

Rethinking Segmentation Guidance for Weakly Supervised Object Detection.

Ke Yang, Peng Zhang, Peng Qiao, Zhiyuan Wang, Huadong Dai, Tianlong Shen, Dongsheng Li, Yong Dou

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Efficient Training Techniques for Multi-Agent Reinforcement Learning in Combat Tasks.

Guanyu Zhang, Yuan Li, Xinhai Xu, Huadong Dai

IEEE Access, 2019

Person Re-Identification Based on Multi-Parts of Local Feature Network.

Zimian Wei, Wenjing Yang, Wanrong Huang, Huadong Dai, Dongsheng Li

IEEE Access, 2019

Multiagent Reinforcement Learning for Swarm Confrontation Environments.

Guanyu Zhang, Yuan Li, Xinhai Xu, Huadong Dai

Proceedings of the Intelligent Robotics and Applications - 12th International Conference, 2019

2018

A research on metric learning in computer vision and pattern recognition.

Zimian Wei, Yawen Cui, Xiaotian Zhou, Wenjing Yang, Yin Li, Xiaodong Yi, Huadong Dai

Proceedings of the Tenth International Conference on Advanced Computational Intelligence, 2018

Loop Detection and Correction of 3D Laser-Based SLAM with Visual Information.

Zulun Zhu, Shaowu Yang, Huadong Dai, Fu Li

Proceedings of the 31st International Conference on Computer Animation and Social Agents, 2018

Enhanced Visual Loop Closing for Laser-Based SLAM.

Zulun Zhu, Shaowu Yang, Huadong Dai

Proceedings of the 29th IEEE International Conference on Application-specific Systems, 2018

2017

Policy-Customized: A New Abstraction for Building Security as a Service.

Chenlin Huang, Chuanwang Hou, Ligang He, Huadong Dai, Yan Ding

Proceedings of the 14th International Symposium on Pervasive Systems, 2017

Estimating Power Consumption of Servers Using Gaussian Mixture Model.

Hao Zhu, Huadong Dai, Shazhou Yang, Yuejin Yan, Bin Lin

Proceedings of the Fifth International Symposium on Computing and Networking, 2017

2016

Research on Linux Trusted Boot Method Based on Reverse Integrity Verification.

Chenlin Huang, Chuanwang Hou, Huadong Dai, Yan Ding, Songling Fu, Mengluo Ji

Sci. Program., 2016

Developing a trustworthy computing framework for clouds.

Chenlin Huang, Ligang He, Xiangke Liao, Huadong Dai, Mengluo Ji

Int. J. Embed. Syst., 2016

Shared-Memory Optimizations for Inter-Virtual-Machine Communication.

Yi Ren, Ling Liu, Qi Zhang, Qingbo Wu, Jianbo Guan, Jinzhu Kong, Huadong Dai, Lisong Shao

ACM Comput. Surv., 2016

Enabling User-Policy-Confined VM Migration in Trusted Cloud Computing.

Chuanwang Hou, Chenlin Huang, Huadong Dai, Yan Ding, Ligang He, Mengluo Ji

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

2015

Complementary Synthesis for Encoder with Flow Control Mechanism.

Ying Qin, ShengYu Shen, Qingbo Wu, Huadong Dai, Yan Jia

ACM Trans. Design Autom. Electr. Syst., 2015

An implementation architecture design of LU decomposition in resource-limited system.

Yang Wang, Huamin Tao, Shanzhu Xiao, Huadong Dai

Proceedings of the IEEE International Symposium on Systems Engineering, 2015

2014

Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula.

Ying Qin, ShengYu Shen, Jingzhu Kong, Huadong Dai

Proceedings of the Web Technologies and Applications, 2014

2013

Scratchpad memory allocation for arrays in permutation graphs.

Li Wang, Xuejun Yang, Huadong Dai

Sci. China Inf. Sci., 2013

Residency-Aware Virtual Machine Communication Optimization: Design Choices and Techniques.

Yi Ren, Ling Liu, Qi Zhang, Qingbo Wu, Jie Wu, Jinzhu Kong, Jianbo Guan, Huadong Dai

Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012

A Lightweight Type Enforcement Access Control Approach with Role Based Authorization.

Yan Ding, Hongyi Fu, Lifeng Wei, Lianyue He, Huadong Dai, Qingbo Wu

Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

A fast and transparent communication protocol for co-resident virtual machines.

Yi Ren, Ling Liu, Xiaojian Liu, Jinzhu Kong, Huadong Dai, Qingbo Wu, Yuan Li

Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

2010

Enhanced Non-Blocking Buffer: A High Performance Non-Blocking Message Communication Mechanism.

Xiao-Jian Liu, Yi Ren, Huadong Dai

Proceedings of the GCC 2010, 2010

SPOTOS: A Safe Point Detector for Online Patching Commodity OS.

Xiao-Jian Liu, Yi Ren, Huadong Dai

Proceedings of the GCC 2010, 2010

2003

A General Metric of Load Balancing in delta-Range.

Xuejun Yang, Huadong Dai, Yuhua Tang, Xiaodong Yi

Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

Data Space Fusion Based Approach for Effective Alignment of Computation and Data.

Jun Xia, Xuejun Yang, Huadong Dai

Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

A Distributed Parallel Resampling Algorithm for Large Images.

Yan-Huang Jiang, Xuejun Yang, Huadong Dai, Huizhan Yi

Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003