연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (3건)


RTL Verification for Secure Speculation Using Contract Shadow Logic
키워드: #security #experimental #hardware #mitigations #architects
파트: Verification | 연도: 2025
C5: cloned concurrency control that always keeps up
키워드: #databases #backup #backups #cloned #replicated
파트: Software Development | 연도: 2025