| Do I use the wrong definition? DefUse: Definition-use invariants for detecting concurrency and sequential bugs Y Shi, S Park, Z Yin, S Lu, Y Zhou, W Chen, W Zheng Proceedings of the ACM international conference on Object oriented …, 2010 | 110 | 2010 |
| Timing analysis of a protected operating system kernel B Blackham, Y Shi, S Chattopadhyay, A Roychoudhury, G Heiser 2011 IEEE 32nd Real-Time Systems Symposium, 339-348, 2011 | 104 | 2011 |
| Web video topic discovery and tracking via bipartite graph reinforcement model L Liu, L Sun, Y Rui, Y Shi, S Yang Proceedings of the 17th international conference on World Wide Web, 1009-1018, 2008 | 71 | 2008 |
| Improving interrupt response time in a verifiable protected microkernel B Blackham, Y Shi, G Heiser Proceedings of the 7th ACM european conference on Computer Systems, 323-336, 2012 | 36 | 2012 |
| Computing pool: A simplified and practical computational grid model P Liu, Y Shi, S Li International Conference on Grid and Cooperative Computing, 661-668, 2003 | 36 | 2003 |
| THSORT: A single-processor parallel sorting algorithm 施遥， 张力， 刘鹏 Journal of software 14 (2), 159-165, 2003 | 9 | 2003 |
| Grid demo proposal: AntiSpamGrid P Liu, Y Shi, FCM Lau, CL Wang, SL Li IEEE International Conference on Cluster Computing Technical Session, 2003 | 8 | 2003 |
| Protected hard real-time: The next frontier B Blackham, Y Shi, G Heiser Proceedings of the Second Asia-Pacific Workshop on Systems, 1-5, 2011 | 7 | 2011 |
| Code optimizations using formally verified properties Y Shi, B Blackham, G Heiser ACM SIGPLAN Notices 48 (10), 427-442, 2013 | 4 | 2013 |
| THSORT: 单机并行排序算法 施遥， 张力， 刘鹏 软件学报 14 (2), 159-165, 2003 | 4 | 2003 |
| THSORT: 单机并行排序算法 施遥， 张力， 刘鹏 软件学报 14 (2), 159-165, 2003 | 4 | 2003 |
| Club theory of the Grid Y Shi, FCM Lau, SSH Tse, ZH Du, RC Tang, SL Li Concurrency and Computation: Practice and Experience 18 (14), 1759-1773, 2006 | 1 | 2006 |
| RAID-M: A high performance RAID Matrix mass storage P Liu, S Li, FCM Lau, Y Shi, F Huang Science in China Series F: Information Sciences 48, 409-420, 2005 | 1 | 2005 |
| Club theory of the grid Y Shi, FCM Lau, ZH Du, RC Tang, S Li Grid and Cooperative Computing-GCC 2004: Third International Conference …, 2004 | | 2004 |
Bernard BlackhamEmail verificata su largestprime.net
