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 | 322 | 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 | 131 | 2004 |
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 | 121 | 2013 |
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 | 106 | 2004 |
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 | 103 | 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 | 87 | 2005 |
Majority-based reversible logic gates G Yang, WNN Hung, X Song, M Perkowski Theoretical computer science 334 (1-3), 259-274, 2005 | 75 | 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 | 65 | 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 | 61 | 2004 |
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 | 58 | 2006 |
Defect-tolerant CMOL cell assignment via satisfiability WNN Hung, C Gao, X Song, D Hammerstrom IEEE Sensors Journal 8 (6), 823-830, 2008 | 57 | 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 | 48 | 2011 |
Challenges in large FPGA-based logic emulation systems WNN Hung, R Sun Proceedings of the 2018 International Symposium on Physical Design, 26-33, 2018 | 45 | 2018 |
Bi-directional synthesis of 4-bit reversible circuits G Yang, X Song, WNN Hung, MA Perkowski The Computer Journal 51 (2), 207-215, 2008 | 44 | 2008 |
BDD minimization by scatter search WNN Hung, X Song, EM Aboulhamid, MA Driscoll IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2002 | 43 | 2002 |
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 | 36 | 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 | 36 | 2012 |
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 | 36 | 2011 |
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 | 31 | 2003 |
BDD variable ordering by scatter search WNN Hung, X Song Proceedings 2001 IEEE International Conference on Computer Design: VLSI in …, 2001 | 30 | 2001 |