checker

  1. Home
  2. search page
  3. keyword

checker

정의: Checker or chequer or variant, may refer to:

📄 키워드 상세정보

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

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

Model Checking C/C++ with Mixed-Size Accesses
저자: Viktor Vafeiadis , Iason Marmanis , Michalis Kokologiannakis
키워드: #algorithm #checker #mixer #overapproximated #checkers
파트: Verification | 연도: 2025
Enhancing GenMC’s Usability and Performance
저자: Michalis Kokologiannakis , Rupak Majumdar , Viktor Vafeiadis
키워드: #checker #verification #automate #verify #usability
파트: Verification | 연도: 2024
Understanding performance problems in deep learning systems
저자: Junming Cao , Bihuan Chen , Chao Sun , Longjie Hu , Shuaihong Wu , Xin Peng
키워드: #engineering #224 #stackoverflow #deepperf #checker
파트: Artificial Intelligence | 연도: 2022
CacheGuard: A Behavior Model Checker for Cache Timing Side-Channel Security
저자: Zihan Xu , Lingfeng Yin , Yongqiang Lyu , Haixia Wang , Gang Qu , Dongsheng Wang
키워드: #checker #attack #processor #cacheguard #cache
파트: Cryptography | 연도: 2022