Jia Wang
Title
Cited by
Cited by
Year
Secure and practical outsourcing of linear programming in cloud computing
C Wang, K Ren, J Wang
INFOCOM, 2011 Proceedings IEEE, 820-828, 2011
3552011
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
186*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
752011
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
58*2006
Gate sizing by Lagrangian relaxation revisited
J Wang, D Das, H Zhou
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2009
522009
Gate sizing by Lagrangian relaxation revisited
J Wang, D Das, H Zhou
IEEE/ACM International Conference on Computer-Aided Design, 2007
522007
ACG-adjacent constraint graph for general floorplans
H Zhou, J Wang
Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004 …, 2004
512004
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
452005
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
382007
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
292012
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
222013
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
222010
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
212007
An efficient incremental algorithm for min-area retiming
J Wang, H Zhou
Proceedings of the 45th annual Design Automation Conference, 528-533, 2008
182008
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
152010
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
132011
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
132011
Dual algorithms for vectorless power grid verification under linear current constraints
X Xiong, J Wang
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2011
122011
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
122008
Verifying RLC power grids with transient current constraints
X Xiong, J Wang
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND …, 2013
112013
The system can't perform the operation now. Try again later.
Articles 1–20