capsules

  1. Home
  2. search page
  3. keyword

capsules

정의: Capsule may refer to:

📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도N/A년
주요 연관 키워드affinity
좋아요 수0

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

Data Race Freedom à la Mode
저자: Derek Dreyer , Aïna Linn Georges , Benjamin Peters , Laila Elbeheiry , Leo White , Stephen Dolan , Richard A. Eisenberg , Chris Casinghino , François Pottier
키워드: #affinity #threaded #aliasing #portability #capsules
파트: Verification | 연도: 2025