E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis.
CoRR, April, 2025
Authentication for Satellite Internet Resource Slicing Access Based on Trust Measurement.
IEEE Internet Things J., June, 2024
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction.
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
r-map: Relating Implementation and Specification in Hardware Refinement Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023
NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking.
Proceedings of the 5th ACM/IEEE Workshop on Machine Learning for CAD, 2023
CRAlert: Hardware-Assisted Code Reuse Attack Detection.
IEEE Trans. Circuits Syst. II Express Briefs, 2022
Hybrid CTC Language Identification Structure for Mandarin-English Code-Switching ASR.
Proceedings of the 13th International Symposium on Chinese Spoken Language Processing, 2022
A Tactile Sensor Decoupling Process.
Sensors, 2018
Decoupling Analysis of a Six-Dimensional Force Sensor Bridge Fault.
IEEE Access, 2018
A thin film pressure sensor with double sensitive units.
Proceedings of the IEEE International Conference on Information and Automation, 2015
Design in data acquisition system of Fluke PM6306 based on LabVIEW.
Proceedings of the IEEE International Conference on Information and Automation, 2015
Masquerade Detection Using Support Vector Machines in the Smart Grid.
Proceedings of the Seventh International Joint Conference on Computational Sciences and Optimization, 2014
The Smart grid scheduling based on contract net protocol with trust model.
Proceedings of the 2014 IEEE/ACIS 13th International Conference on Computer and Information Science, 2014
Business ecosystem extension: facilitating the technology substitution.
Int. J. Technol. Manag., 2013
A novel traffic shaping algorithm with delay jitter constraints for real-time multimedia networks.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011