Xiaoke Qin

According to our database, Xiaoke Qin authored at least 18 papers between 2007 and 2023.

Collaborative distances:

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

2023

Finite mixtures of matrix variate Poisson-log normal distributions for three-way count data.

Anjali Silva, Xiaoke Qin, Steven J. Rothstein, Paul D. McNicholas, Sanjeena Subedi

Bioinform., May, 2023

2019

Directed Test Generation for Validation of Cache Coherence Protocols.

Yangdi Lyu, Xiaoke Qin, Mingsong Chen, Prabhat Mishra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

2015

Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking.

Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu, Prabhat Mishra

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Learning-oriented Property Decomposition for Automated Generation of Directed Tests.

Mingsong Chen, Xiaoke Qin, Prabhat Mishra

J. Electron. Test., 2014

TECS: Temperature- and Energy-Constrained Scheduling for Multicore Systems.

Xiaoke Qin, Prabhat Mishra

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

Scalable Test Generation by Interleaving Concrete and Symbolic Execution.

Xiaoke Qin, Prabhat Mishra

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

2012

Energy-Aware Scheduling and Dynamic Reconfiguration in Real-Time Systems.

Weixun Wang, Xiaoke Qin, Prabhat Mishra

Proceedings of the Handbook of Energy-Aware and Green Computing - Two Volume Set., 2012

Directed test generation for validation of multicore architectures.

Xiaoke Qin, Prabhat Mishra

ACM Trans. Design Autom. Electr. Syst., 2012

TCEC: Temperature and Energy-Constrained Scheduling in Real-Time Multitasking Systems.

Xiaoke Qin, Weixun Wang, Prabhat Mishra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Automated generation of directed tests for transition coverage in cache coherence protocols.

Xiaoke Qin, Prabhat Mishra

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Decoding-Aware Compression of FPGA Bitstreams.

Xiaoke Qin, Chetan Muthry, Prabhat Mishra

IEEE Trans. Very Large Scale Integr. Syst., 2011

Efficient directed test generation for validation of multicore architectures.

Xiaoke Qin, Prabhat Mishra

Proceedings of the 12th International Symposium on Quality Electronic Design, 2011

2010

Synchronized Generation of Directed Tests Using Satisfiability Solving.

Xiaoke Qin, Mingsong Chen, Prabhat Mishra

Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach.

Weixun Wang, Xiaoke Qin, Prabhat Mishra

Proceedings of the 2010 International Symposium on Low Power Electronics and Design, 2010

Efficient decision ordering techniques for SAT-based test generation.

Mingsong Chen, Xiaoke Qin, Prabhat Mishra

Proceedings of the Design, Automation and Test in Europe, 2010

2009

A Universal Placement Technique of Compressed Instructions for Efficient Parallel Decompression.

Xiaoke Qin, Prabhat Mishra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Efficient Placement of Compressed Code for Parallel Decompression.

Xiaoke Qin, Prabhat Mishra

Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

2007

Object Extraction by Spatio-Temporal Assembling.

Xiaoke Qin, Liang Tang, Jie Zhou

Proceedings of the International Conference on Image Processing, 2007