Haihua Shen

According to our database1, Haihua Shen authored at least 22 papers between 2004 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
LMDet: A "Naturalness" Statistical Method for Hardware Trojan Detection.
IEEE Trans. VLSI Syst., 2018

On Trace Buffer Reuse-Based Trigger Generation in Post-Silicon Debug.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

Achieving data-driven actionability by combining learning and planning.
Frontiers Comput. Sci., 2018

The application of non-volatile look-up-table operations based on multilevel-cell of resistance switching random access memory.
Proceedings of the 2018 International Symposium on VLSI Design, 2018

2017
Wide-range tracking technique for process-variation-robust clock and data recovery applications.
Frontiers of IT & EE, 2017

Field Trial Investigation of Wired and Wireless Calibration Schemes for Real-Time Massive MIMO Prototype.
Proceedings of the 86th IEEE Vehicular Technology Conference, 2017

Ultra-high-throughput massive MIMO field-trial over radio computing architecture with peak spectrum efficiency of 79.82 bps/Hz.
Proceedings of the 28th IEEE Annual International Symposium on Personal, 2017

HTChecker: Detecting hardware trojans based on static characteristics.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

An efficient parity rearrangement coding scheme for RRAM thermal crosstalk effects.
Proceedings of the 12th IEEE International Conference on ASIC, 2017

2016
A 128 Kb HfO2 ReRAM with Novel Double-Reference and Dynamic-Tracking scheme for write yield improvement.
IEICE Electronic Express, 2016

Extracting Actionability from Machine Learning Models by Sub-optimal Deterministic Planning.
CoRR, 2016

Large scale experimental trial of 5G mobile communication systems - TDD massive MIMO with linear and non-linear precoding schemes.
Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016

Relationship Privacy Protection for Mobile Social Network.
Proceedings of the International Conference on Advanced Cloud and Big Data, 2016

2011
Empirical design bugs prediction for verification.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Estimating design quality of digital systems via machine learning.
Proceedings of the 17th IEEE International Conference on Electronics, 2010

On-the-Fly Reduction of Stimuli for Functional Verification.
Proceedings of the 19th IEEE Asian Test Symposium, 2010

Formula-Oriented Compositional Minimization in Model Checking.
Proceedings of the 19th IEEE Asian Test Symposium, 2010

2009
Designing an Effective Constraint Solver in Coverage Directed Test Generation.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Fast complete memory consistency verification.
Proceedings of the 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 2009

2008
Coverage Directed Test Generation: Godson Experience.
Proceedings of the 17th IEEE Asian Test Symposium, 2008

2005
CRPG: a configurable random test-program generator for microprocessors.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

2004
EmGen: An Automatic Test-Program Generation Tool for Embedded IP Cores.
Proceedings of the Embedded Software and Systems, First International Conference, 2004


  Loading...