×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [lidong zhou]
Home >
lidong zhou
Effectively Model Checking Real-World Distributed Systems Junfeng Yang Joint work with Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Lintao Zhang, Heming.
213 views
Vigilante and Potemkin Presenter: Ýmir Vigfússon Based in part on slide sets from Mahesh Balakrishnan and Raghavan Srinivasan.
215 views
Microsoft Research Asia Ming Wu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang MIT Fan Long, Xi Wang, Zhilei Xu.
215 views
S ECURITY I SSUES IN M OBILE A D -H OC N ETWORK Mukul A. Khairatkar.
213 views
XML as a Boxwood Data Structure Feng Zhou, John MacCormick, Lidong Zhou, Nick Murphy, Chandu Thekkath 8/20/04.
213 views
EECS 262a Advanced Topics in Computer Systems Lecture 7 Transactional Flash & Rethink the Sync September 25 th, 2012 John Kubiatowicz and Anthony D. Joseph.
215 views
John Kubiatowicz Electrical Engineering and Computer Sciences University of California, Berkeley
26 views
John Kubiatowicz and Anthony D. Joseph Electrical Engineering and Computer Sciences
23 views
Vigilante: End-to-End Containment of Internet Worms
28 views
Vigilante: End-to-End Containment of Internet Worms Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham.
213 views
Trustworthy Services from Untrustworthy Components: Overview
19 views
Language-Based Replay via Data Flow Cut
37 views
Next >