Shujun Deng

According to our database, Shujun Deng authored at least 9 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Research of Remote Sensing Image Compression Technology Based on Compressed Sensing.

Tong Yu, Shujun Deng

Proceedings of the Advances in Image and Graphics Technologies - 10th Chinese Conference, 2015

2010

Mutation-based diagnostic test generation for hardware design error diagnosis.

Shujun Deng, Kwang-Ting Cheng, Jinian Bian, Zhiqiu Kong

Proceedings of the 2011 IEEE International Test Conference, 2010

2009

Constrained Stimulus Generation with Self-Adjusting Using Tabu Search with Memory.

Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong, Kang Zhao

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Random stimulus generation with self-tuning.

Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong

Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, 2009

Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints.

Shujun Deng, Zhiqiu Kong, Jinian Bian, Yanni Zhao

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2007

EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure.

Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao

Proceedings of the 44th Design Automation Conference, 2007

EHSAT Modeling from Algorithm Description for RTL Model Checking.

Xiaoqing Yang, Jinian Bian, Shujun Deng, Yanni Zhao

Proceedings of the 16th Asian Test Symposium, 2007

2006

Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.

Shujun Deng, Weimin Wu, Jinian Bian

Proceedings of the Computer Supported Cooperative Work in Design III, 2006

Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.

Shujun Deng, Weimin Wu, Jinian Bian

Proceedings of the 10th International Conference on CSCW in Design, 2006