82 citations · 133 across the 12 of their papers we have counts for
6 papers · 1 filter
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
Hengfeng Wei, Yu Huang, Jian Lu
The replicated list object is frequently used to model the core functionality of replicated collaborative text editing systems. Since 1989, the convergence property has been a comm…
Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime
Yiling Yang, Yu Huang, Jiannong Cao +1
It has gained broad attention to understand the timed distributed trace of a cyber-physical system at runtime, which is often achieved by verifying properties over the observed tra…
Almost Strong Consistency: "Good Enough" in Distributed Storage Systems
Hengfeng Wei, Yu Huang, Jiannong Cao +1
A consistency/latency tradeoff arises as soon as a distributed storage system replicates data. For low latency, modern storage systems often settle for weak consistency conditions,…
Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments
Yiling Yang, Yu Huang, Xiaoxing Ma +1
Pervasive applications are involving more and more autonomous computing and communicating devices, augmented with the abilities of sensing and controlling the logical / physical en…
Verifying PRAM Consistency over Read/Write Traces of Data Replicas
Hengfeng Wei, Marzio De Biasi, Yu Huang +2
Data replication technologies enable efficient and highly-available data access, thus gaining more and more interests in both the academia and the industry. However, data replicati…
Design of a Sliding Window over Asynchronous Event Streams
Yiling Yang, Yu Huang, Jiannong Cao +2
The proliferation of sensing and monitoring applications motivates adoption of the event stream model of computation. Though sliding windows are widely used to facilitate effective…