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
2972006
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
1272004
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
1052004
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
972013
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
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
722013
Majority-based reversible logic gates
G Yang, WNN Hung, X Song, M Perkowski
Theoretical computer science 334 (1-3), 259-274, 2005
712005
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
612013
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
572004
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
522006
Defect-tolerant CMOL cell assignment via satisfiability
WNN Hung, C Gao, X Song, D Hammerstrom
IEEE Sensors Journal 8 (6), 823-830, 2008
482008
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
452011
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
Bi-directional synthesis of 4-bit reversible circuits
G Yang, X Song, WNN Hung, MA Perkowski
The Computer Journal 51 (2), 207-215, 2008
372008
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
352014
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
322012
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
292001
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
282011
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
282004
The system can't perform the operation now. Try again later.
Articles 1–20