Jianhua Zhao

Thermal-Aware Task Scheduling for 3D Multicore Processors

Xiuyi Zhou, Jun Yang, Yi Xu et al. · IEEE Transactions on Parallel and Distributed Systems · 2009 · 101 citations

Engineering, Computer Engineering, Computer Science +17

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior

Lei Bu, Qixin Wang, Xin Chen et al. · ACM SIGBED Review · 2011 · 51 citations

Engineering, Computer Science, Systems Engineering +17

Automatic model generation from documentation for Java API functions

Juan Zhai, Jianjun Huang, Shiqing Ma et al. · 2016 · 41 citations

Computing, Computer Science, Documentation +14

Automatic detection and validation of race conditions in interrupt-driven embedded software

Yu Wang, Linzhang Wang, Tingting Yu et al. · 2017 · 32 citations

Computing, Computer Engineering, Computer Science +17

Proactive NBTI mitigation for busy functional units in out-of-order microprocessors

Lin Li, Youtao Zhang, Jun Yang et al. · 2010 · 25 citations

Engineering, Computer Engineering, Electrical Engineering +15