| 10203846 |
System and method for non-deterministically providing denominated virtual currencies in a virtual space |
Weiwei Geng, Matthew Curtis, Michael C. Caldarone, Stephanie K. Schultz, Kellen Christopher Smalley |
2019-02-12 |
| 8166464 |
Analysis and detection of soft hang responsiveness program errors |
Haoxiang Lin, Xi Wang, Zhenyu Guo, Zheng Zhang |
2012-04-24 |
| 8121824 |
Predicate checking for distributed systems |
Wei Lin, Zheng Zhang |
2012-02-21 |
| 8117155 |
Collection-based object replication |
Wei-Ge Chen, Dan Teodosiu, Cristian G. Teodorescu, Zheng Zhang |
2012-02-14 |
| 7984332 |
Distributed system checker |
Junfeng Yang, Lintao Zhang, Lidong Zhou, Zhenyu Guo, Jian Tang +1 more |
2011-07-19 |
| 7933759 |
Predicate checking for distributed systems |
Wei Lin, Zheng Zhang |
2011-04-26 |
| 7925487 |
Replaying distributed systems |
Wei Lin, Zheng Zhang |
2011-04-12 |
| 7747742 |
Online predicate checking for distributed systems |
Zheng Zhang, Jian Tang, Zhenyu Guo, Ming-Chuan Wu |
2010-06-29 |
| 7673069 |
Strong routing consistency protocol in structured peer-to-peer overlays |
Wei-Ge Chen |
2010-03-02 |
