An efficient dual algorithm for vectorless power grid verification under linear current constraints. - Xuanxing Xiong; Jia Wang (DAC, 2010)

A hierarchical matrix inversion algorithm for vectorless power grid verification. - Xuanxing Xiong; Jia Wang (ICCAD, 2010)

Vectorless verification of RLC power grids with transient current constraints. - Xuanxing Xiong; Jia Wang (ICCAD, 2011)

Architecture design of variable block size motion estimation for full and fast search algorithms in H.264/AVC. - Xuanxing Xiong; Yang Song 007; Ali Akoglu (Comput. Electr. Eng., 2011)

Dual Algorithms for Vectorless Power Grid Verification Under Linear Current Constraints. - Xuanxing Xiong; Jia Wang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

Parallel forward and back substitution for efficient power grid simulation. - Xuanxing Xiong; Jia Wang (ICCAD, 2012)

Hierarchical task mapping of cell-based AMR cosmology simulations. - Jingjin Wu; Zhiling Lan; Xuanxing Xiong; Nickolay Y. Gnedin; Andrey V. Kravtsov (SC, 2012)

Constraint abstraction for vectorless power grid verification. - Xuanxing Xiong; Jia Wang (DAC, 2013)

Scalable power grid transient analysis via MOR-assisted time-domain simulations. - Jia Wang; Xuanxing Xiong (ICCAD, 2013)

Verifying RLC Power Grids With Transient Current Constraints. - Xuanxing Xiong; Jia Wang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Hierarchical task mapping for parallel applications on supercomputers. - Jingjin Wu; Xuanxing Xiong; Zhiling Lan (J. Supercomput., 2015)

Deterministic Random Walk: A New Preconditioner for Power Grid Analysis. - Jia Wang; Xuanxing Xiong; Xingwu Zheng (IEEE Trans. Very Large Scale Integr. Syst., 2015)

Topology mapping of irregular parallel applications on torus-connected supercomputers. - Jingjin Wu; Xuanxing Xiong; Eduardo Berrocal; Jia Wang; Zhiling Lan (J. Supercomput., 2017)