William N. N. Hung
William N. N. Hung
Verified email at - Homepage
Cited by
Cited by
Optimal synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis
WNN Hung, X Song, G Yang, J Yang, M Perkowski
IEEE transactions on Computer-Aided Design of integrated circuits and …, 2006
Thermal-aware IP virtualization and placement for networks-on-chip architecture
W Hung, C Addo-Quaye, T Theocharides, Y Xie, N Vijakrishnan, MJ Irwin
IEEE International Conference on Computer Design: VLSI in Computers and …, 2004
Quantum logic synthesis by symbolic reachability analysis
WNN Hung, X Song, G Yang, J Yang, M Perkowski
Proceedings of the 41st annual Design Automation Conference, 838-841, 2004
Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
H Kong, F He, X Song, WNN Hung, M Gu
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
Fast synthesis of exact minimal reversible circuits using group theory
G Yang, X Song, WNN Hung, MA Perkowski
Proceedings of the 2005 Asia and South Pacific Design Automation Conference …, 2005
Application of phasor measurement units to estimate power system inertial frequency response
PM Ashton, GA Taylor, AM Carter, ME Bradley, W Hung
2013 IEEE Power & Energy Society General Meeting, 1-5, 2013
Majority-based reversible logic gates
G Yang, WNN Hung, X Song, M Perkowski
Theoretical computer science 334 (1-3), 259-274, 2005
Bayesian network based reliability analysis of plc systems
Y Jiang, H Zhang, X Song, X Jiao, WNN Hung, M Gu, J Sun
IEEE Transactions on Industrial Electronics 60 (11), 5325-5336, 2013
Total power optimization through simultaneously multiple-vDD multiple-vTH assignment and device sizing with stack forcing
W Hung, Y Xie, N Vijaykrishnan, M Kandemir, MJ Irwin, Y Tsai
Proceedings of the 2004 international symposium on Low power electronics and …, 2004
Group theory based synthesis of binary reversible circuits
G Yang, X Song, WNN Hung, F Xie, MA Perkowski
Theory and Applications of Models of Computation: Third International …, 2006
Defect-tolerant CMOL cell assignment via satisfiability
WNN Hung, C Gao, X Song, D Hammerstrom
IEEE Sensors Journal 8 (6), 823-830, 2008
A novel fault diagnosis mechanism for wireless sensor networks
Z You, X Zhao, H Wan, WNN Hung, Y Wang, M Gu
Mathematical and Computer Modelling 54 (1-2), 330-343, 2011
BDD minimization by scatter search
WNN Hung, X Song, EM Aboulhamid, MA Driscoll
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2002
Bi-directional synthesis of 4-bit reversible circuits
G Yang, X Song, WNN Hung, MA Perkowski
The Computer Journal 51 (2), 207-215, 2008
Motion planning with satisfiability modulo theories
WNN Hung, X Song, J Tan, X Li, J Zhang, R Wang, P Gao
2014 IEEE International Conference on Robotics and Automation (ICRA), 113-118, 2014
Uncertain model and algorithm for hardware/software partitioning
Y Jiang, H Zhang, X Jiao, X Song, WNN Hung, M Gu, J Sun
2012 IEEE Computer Society Annual Symposium on VLSI, 243-248, 2012
Board-level multiterminal net assignment for the partial cross-bar architecture
X Song, WNN Hung, A Mishchenko, M Chrzanowska-Jeske, A Kennings, ...
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 11 (3), 511-514, 2003
BDD variable ordering by scatter search
WNN Hung, X Song
Proceedings 2001 IEEE International Conference on Computer Design: VLSI in …, 2001
An integrated optimization approach for nanohybrid circuit cell mapping
Y Xia, Z Chu, WNN Hung, L Wang, X Song
IEEE Transactions on Nanotechnology 10 (6), 1275-1284, 2011
Routability checking for three-dimensional architectures
WNN Hung, X Song, T Kam, L Cheng, G Yang
IEEE transactions on very large scale integration (VLSI) systems 12 (12 …, 2004
The system can't perform the operation now. Try again later.
Articles 1–20