linearizability

  1. Home
  2. search page
  3. keyword

linearizability

정의: 정의를 찾을 수 없습니다.

📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도2020년
주요 연관 키워드linearizable
좋아요 수0

키워드별 논문 목록 (3건)

Formal Machine-Verification of MemSnap: An Efficient, Far-Future Linearizable Snapshot Algorithm
저자: Siddhartha Visveswara Jayanti , Ugur Y Yavuz
키워드: #algorithm #efficient #linearizability #linearizable #elegant
파트: Verification | 연도: 2025
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects
저자: Chao Wang , Peng Wu , Gustavo Petri , Qiaowen Jia , Youlin He , Yi Lv , Zhiming Liu
키워드: #propose #verification #deterministic #linearizability #permutative
파트: Verification | 연도: 2024
Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion
저자: Arik Rinberg , Idit Keidar
키워드: #10 #update #returning #linearizability #linearizable
파트: Verification | 연도: 2020