Consistency model
相关论文数: 7
顶级研究者
最高引用论文
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
Supporting real-time concurrency
Victor Fay Wolfe, Susan Davidson, Insup Lee
引用数: 8 • 1991
Verification of logical consistency in robotic reasoning
Hongyang Qu, Sándor M. Veres
引用数: 7 • 2016
Spatial-temporal consistency knowledge distillation for real-time semantic segmentation
Dongli Wang, Zhitian Yuan, Yan Zhou, Zhiqiang Wang
引用数: 3 • 2022
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