Secure and practical outsourcing of linear programming in cloud computing C Wang, K Ren, J Wang INFOCOM, 2011 Proceedings IEEE, 820-828, 2011 | 454 | 2011 |
Harnessing the Cloud for securely outsourcing large-scale systems of linear equations C Wang, K Ren, J Wang, Q Wang IEEE Transactions on Parallel and Distributed Systems 24 (6), 1172-1181, 2013 | 250* | 2013 |
Harnessing the cloud for securely solving large-scale systems of linear equations C Wang, K Ren, J Wang, KMR Urs Distributed Computing Systems (ICDCS), 2011 31st International Conference on …, 2011 | 85 | 2011 |
TAPHS: Thermal-aware unified physical-level and high-level synthesis ZP Gu, Y Yang, J Wang, RP Dick, L Shang Proceedings of the 2006 Asia and South Pacific Design Automation Conference …, 2006 | 69 | 2006 |
Gate sizing by Lagrangian relaxation revisited J Wang, D Das, H Zhou Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2009 | 59 | 2009 |
Gate sizing by Lagrangian relaxation revisited J Wang, D Das, H Zhou IEEE/ACM International Conference on Computer-Aided Design, 2007 | 59 | 2007 |
ACG-adjacent constraint graph for general floorplans H Zhou, J Wang Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004 …, 2004 | 59 | 2004 |
Incremental exploration of the combined physical and behavioral design space Z Gu, J Wang, RR Dick, H Zhou Design Automation Conference, 2005. Proceedings. 42nd, 208-213, 2005 | 52 | 2005 |
Unified incremental physical-level and high-level synthesis Z Gu, J Wang, RP Dick, H Zhou Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2007 | 43 | 2007 |
Parallel forward and back substitution for efficient power grid simulation X Xiong, J Wang Computer-Aided Design (ICCAD), 2012 IEEE/ACM International Conference on …, 2012 | 33 | 2012 |
Retiming for synchronous data flow graphs N Liveris, C Lin, J Wang, H Zhou, P Banerjee Design Automation Conference, 2007. ASP-DAC'07. Asia and South Pacific, 480-485, 2007 | 30 | 2007 |
Large-scale energy storage system design and optimization for emerging electric-drive vehicles J Wu, J Wang, K Li, H Zhou, Q Lv, L Shang, Y Sun Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2013 | 26 | 2013 |
An efficient dual algorithm for vectorless power grid verification under linear current constraints X Xiong, J Wang Design Automation Conference (DAC), 2010 47th ACM/IEEE, 837-842, 2010 | 24 | 2010 |
An efficient incremental algorithm for min-area retiming J Wang, H Zhou Proceedings of the 45th annual Design Automation Conference, 528-533, 2008 | 20 | 2008 |
A hierarchical matrix inversion algorithm for vectorless power grid verification X Xiong, J Wang Proceedings of the International Conference on Computer-Aided Design, 543-550, 2010 | 17 | 2010 |
In-Place FPGA retiming for mitigation of variational single-event transient faults W Xu, J Wang, Y Hu, JY Lee, F Gong, L He, M Sarrafzadeh Circuits and Systems I: Regular Papers, IEEE Transactions on 58 (6), 1372-1381, 2011 | 14 | 2011 |
Deterministic random walk preconditioning for power grid analysis J Wang Proceedings of the International Conference on Computer-Aided Design, 392-398, 2012 | 13 | 2012 |
Vectorless verification of RLC power grids with transient current constraints X Xiong, J Wang Proceedings of the International Conference on Computer-Aided Design, 548-554, 2011 | 13 | 2011 |
Linear constraint graph for floorplan optimization with soft blocks J Wang, H Zhou Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided …, 2008 | 13 | 2008 |
Verifying RLC power grids with transient current constraints X Xiong, J Wang IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND …, 2013 | 12 | 2013 |