Shujun Deng

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Topics

Remote Sensing Imagery

Compressed Sensing

Top Venues

Publications

Tong Yu, Shujun Deng
Research of Remote Sensing Image Compression Technology Based on Compressed Sensing. IGTA (2015)
Shujun Deng, Kwang-Ting Cheng, Jinian Bian, Zhiqiu Kong
Mutation-based diagnostic test generation for hardware design error diagnosis. ITC (2010)
Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong
Random stimulus generation with self-tuning. CSCWD (2009)
Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong, Kang Zhao
Constrained Stimulus Generation with Self-Adjusting Using Tabu Search with Memory. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2009)
Shujun Deng, Zhiqiu Kong, Jinian Bian, Yanni Zhao
Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints. ASP-DAC (2009)
Xiaoqing Yang, Jinian Bian, Shujun Deng, Yanni Zhao
EHSAT Modeling from Algorithm Description for RTL Model Checking. ATS (2007)
Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao
EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure. DAC (2007)
Shujun Deng, Weimin Wu, Jinian Bian
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. CSCWD (Selected Papers) (2006)
Shujun Deng, Weimin Wu, Jinian Bian
Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. CSCWD (2006)