Artikelen met mandaten voor openbare toegang - William N. N. HungMeer informatie
Nergens beschikbaar: 9
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning
R Wang, W Hung, G Yang, X Song
Computers, IEEE Transactions on 65 (10), 3217 - 3223, 2016
Mandaten: National Natural Science Foundation of China
A synthesis method of quantum reversible logic circuit based on elementary qutrit quantum logic gates
F Fan, G Yang, G Yang, WNN Hung
Journal of Circuits, Systems and Computers 24 (08), 1550121, 2015
Mandaten: National Natural Science Foundation of China
A multipartite entanglement measure based on coefficient matrices
C Zhao, G Yang, WNN Hung, X Li
Quantum Information Processing 14, 2861-2881, 2015
Mandaten: National Natural Science Foundation of China
Performance-driven assignment and mapping for reliable networks-on-chips
Q Le, G Yang, WNN Hung, X Song, F Fan
Journal of Zhejiang University SCIENCE C 15 (11), 1009-1020, 2014
Mandaten: National Natural Science Foundation of China
Temporal coverage analysis for dynamic verification
M Zhou, WNN Hung, X Song, M Gu, J Sun
IEEE Transactions on Circuits and Systems II: Express Briefs 65 (1), 66-70, 2017
Mandaten: National Natural Science Foundation of China
Pareto optimal mapping for tile-based network-on-chip under reliability constraints
Q Le, G Yang, WNN Hung, X Song, X Zhang
International Journal of Computer Mathematics 92 (1), 41-58, 2015
Mandaten: National Natural Science Foundation of China
A Quantitative Characterization of Cross Coverage
J Zhou, C Lan, W Hung, X Guo, X Song
Computers, IEEE Transactions on 64 (8), 2408-2414, 2015
Mandaten: National Natural Science Foundation of China
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq
Q Wang, X Song, WNN Hung, M Gu, J Sun
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2015
Mandaten: National Natural Science Foundation of China
Fault localization with partially reliable test results using dempster-shafer theory
X Guo, X Song, WNN Hung, M Gu, J Sun
2014 Theoretical Aspects of Software Engineering Conference, 58-65, 2014
Mandaten: National Natural Science Foundation of China
Ergens beschikbaar: 10
Symbolic Analysis of Programmable Logic Controllers
H Zhang, Y Jiang, W Hung, X Song, M Gu, J Sun
Computers, IEEE Transactions on 63 (10), 2563-2575, 2014
Mandaten: National Natural Science Foundation of China
Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism
Y Zhang, G Yang, W Hung, J Zhang
Computers, IEEE Transactions on 65 (12), 3606 - 3616, 2016
Mandaten: National Natural Science Foundation of China
Generalized framework for similarity measure of time series
H Yin, H Qi, J Xu, WNN Hung, X Song
Mathematical Problems in Engineering 2014 (1), 572124, 2014
Mandaten: National Natural Science Foundation of China
An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion
J Zhang, G Yang, WNN Hung, Y Zhang, J Wu
Cluster Computing 22, 7491-7506, 2019
Mandaten: National Natural Science Foundation of China
A multiobjective scatter search algorithm for fault-tolerant NoC mapping optimisation
Q Le, G Yang, WNN Hung, X Zhang, F Fan
International Journal of Electronics 101 (8), 1056-1073, 2014
Mandaten: National Natural Science Foundation of China
A group algebraic approach to NPN classification of Boolean functions
J Zhang, G Yang, WNN Hung, T Liu, X Song, MA Perkowski
Theory of Computing Systems 63, 1278-1297, 2019
Mandaten: National Natural Science Foundation of China
A canonical-based NPN Boolean matching algorithm utilizing Boolean difference and cofactor signature
J Zhang, G Yang, WNN Hung, J Wu
IEEE Access 5, 27777-27785, 2017
Mandaten: National Natural Science Foundation of China
A case study on formal analysis of an automated guided vehicle system
J Zhang, Y Peng, WNN Hung, X Li, J Tan, Z Shi
Journal of Applied Mathematics 2014 (1), 327465, 2014
Mandaten: National Natural Science Foundation of China
A new pairwise NPN Boolean matching algorithm based on structural difference signature
J Zhang, G Yang, WNN Hung, J Wu, Y Zhu
Symmetry 11 (1), 27, 2018
Mandaten: National Natural Science Foundation of China
An efficient algorithm for computing fixed length attractors based on bounded model checking in synchronous Boolean networks with biochemical applications
XY Li, GW Yang, DS Zheng, WS Guo, WNN Hung
Genetics and Molecular Research 14 (2), 4238-4244, 2015
Mandaten: National Natural Science Foundation of China
Publicatie- en financieringsgegevens worden automatisch vastgesteld door een computerprogramma