Följ
Yu Huang
Titel
Citeras av
Citeras av
År
Flexible cache consistency maintenance over wireless ad hoc networks
Y Huang, J Cao, B Jin, X Tao, J Lu, Y Feng
IEEE Transactions on Parallel and Distributed Systems 21 (8), 1150-1161, 2010
512010
Runtime detection of the concurrency property in asynchronous pervasive computing environments
Y Huang, Y Yang, J Cao, X Ma, X Tao, J Lu
IEEE Transactions on Parallel and Distributed Systems 23 (4), 744-750, 2011
272011
Internetware: a shift of software paradigm
J Lü, X Ma, Y Huang, C Cao, F Xu
Proceedings of the First Asia-Pacific Symposium on Internetware, 1-9, 2009
272009
Formal specification and runtime detection of dynamic properties in asynchronous pervasive computing environments
Y Yang, Y Huang, J Cao, X Ma, J Lu
IEEE Transactions on Parallel and Distributed Systems 24 (8), 1546-1555, 2012
182012
Enabling context-awareness by predicate detection in asynchronous environments
Y Yang, Y Huang, X Ma, J Lu
IEEE Transactions on Computers 65 (2), 522-534, 2015
112015
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
H Wei, Y Huang, J Lu
IEEE Transactions on Computers 66 (3), 502-514, 2017
102017
Verifying pipelined-ram consistency over read/write traces of data replicas
H Wei, M De Biasi, Y Huang, J Cao, J Lu
IEEE Transactions on Parallel and Distributed Systems 27 (5), 1511-1523, 2016
9*2016
Design of a sliding window over distributed and asynchronous event streams
Y Yang, Y Huang, J Cao, X Ma, J Lu
IEEE Transactions on Parallel and Distributed Systems 25 (10), 2551-2560, 2013
82013
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction
X Gu, W Cao, Y Zhu, X Song, Y Huang, X Ma
2022 41st International Symposium on Reliable Distributed Systems (SRDS), 82-93, 2022
72022
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
H Wei, Y Huang, J Lu
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing …, 2018
62018
CBBR: enabling distributed shared memory-based coordination among mobile robots
X Jiang, Y Huang
Science China Information Sciences 59 (8), 080102, 2016
52016
Remove-win: a design framework for conflict-free replicated data types
Y Zhang, H Wei, Y Huang
2021 IEEE 27th International Conference on Parallel and Distributed Systems …, 2021
42021
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers
K Huang, Y Huang, H Wei
Proceedings of the 39th Symposium on Principles of Distributed Computing …, 2020
4*2020
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores
L Ouyang, Y Huang, H Wei, J Lu
IEEE Transactions on Parallel and Distributed Systems 32 (4), 815-829, 2020
32020
A Generic Specification Framework for Weakly Consistent Replicated Data Types
X Jiang, H Wei, Y Huang
2020 International Symposium on Reliable Distributed Systems (SRDS), 143-154, 2020
32020
Jupiter made abstract, and then refined
HF Wei, RZ Tang, Y Huang, J Lv
Journal of Computer Science and Technology 35, 1343-1364, 2020
12020
CRDT 协议的 TLA+ 描述与验证
纪业, 魏恒峰, 黄宇, 吕建
软件学报 31 (5), 1332-1352, 2020
12020
PaxosStore 中共识协议 TPaxos 的推导, 规约与精化
易星辰, 魏恒峰, 黄宇, 乔磊, 吕建
软件学报 31 (8), 2336-2361, 2020
12020
Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores
H Wei, Y Huang, J Lu
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 21-33, 2017
12017
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
L Ouyang, Y Huang, B Huang, X Ma
arXiv preprint arXiv:2302.02703, 2023
2023
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20