Sequential consistency
相关论文数: 4
顶级研究者
最高引用论文
Environment rematching: Toward dependability improvement for self-adaptive applications
Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, Jian Lü
引用数: 12 • 2013
A General Approach to Derive Uncontrolled Reversible Semantics
Ivan Lanese, Doriana Medić
引用数: 11 • 2020
On efficient consistency checks by robots
Hongyang Qu, Sándor M. Veres
引用数: 2 • 2014
Efficient Verification of Periodic Programs using Sequential Consistency and Snapshots
Sagar Chaki, Arie Gurfinkel, Nishant Sinha
引用数: 2 • 2014