threaded

  1. Home
  2. search page
  3. keyword

threaded

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

📄 키워드 상세정보

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

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

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
Accurate Static Data Race Detection for C
저자: Emerson Sales , Omar Inverso , Emilio Tuosto
키워드: #competitive #automated #tools #threaded #interference
파트: Strategies | 연도: 2024
The Decidability of Verification under PS 2.0
저자: Viktor Vafeiadis , Parosh Aziz Abdulla , Mohamed Faouzi Atig , Adwait Godbole , S. Krishna
키워드: #benchmarks #threaded #recursive #decidable #undecidable
파트: Verification | 연도: 2021