Follow
William N. N. Hung
William N. N. Hung
Cadence
Verified email at alumni.utexas.net - Homepage
Title
Cited by
Cited by
Year
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
3222006
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
1312004
Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
H Kong, F He, X Song, WNN Hung, M Gu
International Conference on Computer Aided Verification, 242-257, 2013
1212013
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
1062004
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
1032013
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
872005
Majority-based reversible logic gates
G Yang, WNN Hung, X Song, M Perkowski
Theoretical computer science 334 (1-3), 259-274, 2005
752005
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
652013
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
612004
Group theory based synthesis of binary reversible circuits
G Yang, X Song, WNN Hung, F Xie, MA Perkowski
International Conference on Theory and Applications of Models of Computation …, 2006
582006
Defect-tolerant CMOL cell assignment via satisfiability
WNN Hung, C Gao, X Song, D Hammerstrom
IEEE Sensors Journal 8 (6), 823-830, 2008
572008
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
482011
Challenges in large FPGA-based logic emulation systems
WNN Hung, R Sun
Proceedings of the 2018 International Symposium on Physical Design, 26-33, 2018
452018
Bi-directional synthesis of 4-bit reversible circuits
G Yang, X Song, WNN Hung, MA Perkowski
The Computer Journal 51 (2), 207-215, 2008
442008
BDD minimization by scatter search
WNN Hung, X Song, EM Aboulhamid, MA Driscoll
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2002
432002
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
362014
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
362012
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
362011
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
312003
BDD variable ordering by scatter search
WNN Hung, X Song
Proceedings 2001 IEEE International Conference on Computer Design: VLSI in …, 2001
302001
The system can't perform the operation now. Try again later.
Articles 1–20