Qin Xiaoke
Título
Citado por
Citado por
Ano
Lossless data compression and real-time decompression
P Mishra, S Seong, K Basu, W Wang, X Qin, C Murthy
US Patent App. 12/682,808, 2010
1492010
Handbook of Energy-Aware and Green Computing, Volume 1
I Ahmad, S Ranka
CRC Press, 2012
822012
System-level validation: high-level modeling and directed test generation techniques
M Chen, X Qin, HM Koo, P Mishra
Springer Science & Business Media, 2012
582012
Decoding-aware compression of FPGA bitstreams
X Qin, C Muthry, P Mishra
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 19 (3), 411-419, 2009
332009
Automated generation of directed tests for transition coverage in cache coherence protocols
X Qin, P Mishra
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 3-8, 2012
282012
Directed test generation for validation of cache coherence protocols
Y Lyu, X Qin, M Chen, P Mishra
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
252018
Scalable test generation by interleaving concrete and symbolic execution
X Qin, P Mishra
2014 27th International Conference on VLSI Design and 2014 13th …, 2014
252014
Directed test generation for validation of multicore architectures
X Qin, P Mishra
ACM Transactions on Design Automation of Electronic Systems (TODAES) 17 (3 …, 2012
232012
Efficient decision ordering techniques for SAT-based test generation
M Chen, X Qin, P Mishra
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
212010
Synchronized generation of directed tests using satisfiability solving
X Qin, M Chen, P Mishra
2010 23rd International Conference on VLSI Design, 351-356, 2010
182010
Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking
M Chen, D Yue, X Qin, X Fu, P Mishra
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 199-204, 2015
162015
Temperature-and energy-constrained scheduling in multitasking systems: A model checking approach
W Wang, X Qin, P Mishra
2010 ACM/IEEE International Symposium on Low-Power Electronics and Design …, 2010
142010
TCEC: Temperature and energy-constrained scheduling in real-time multitasking systems
X Qin, W Wang, P Mishra
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012
132012
Efficient directed test generation for validation of multicore architectures
X Qin, P Mishra
2011 12th International Symposium on Quality Electronic Design, 1-8, 2011
122011
A universal placement technique of compressed instructions for efficient parallel decompression
X Qin, P Mishra
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009
122009
Algorithm, Design
W Wang, X Qin, P Mishra
122005
Efficient placement of compressed code for parallel decompression
X Qin, P Mishra
2009 22nd International Conference on VLSI Design, 335-340, 2009
82009
Learning-oriented property decomposition for automated generation of directed tests
M Chen, X Qin, P Mishra
Journal of Electronic Testing 30 (3), 287-306, 2014
72014
Simultaneous refractive index and thickness measurements with a monochromatic low-coherence interferometer
X Wan, J Ge
US Patent 9,696,138, 2017
62017
Tecs: Temperature-and energy-constrained scheduling for multicore systems
X Qin, P Mishra
2014 27th International Conference on VLSI Design and 2014 13th …, 2014
62014
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20