benchmarks

  1. Home
  2. search page
  3. keyword

benchmarks

정의: Benchmark may refer to:

📄 키워드 상세정보

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

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

Unmasking Model Behavior: How LLMs Reason on Vulnerability Detection
저자: Aleksandar Fontana , Marco Simoni
키워드: #detection #optimization #trustworthy #benchmarks #coherence
파트: Infrastructure | 연도: 2025
Edge Detection Using Texture Gradients and Surround Modulation
저자: Daipeng Yang , Bo Peng , Xi Wu
키워드: #detection #experiments #challenge #benchmarks #valuable
파트: Safety | 연도: 2025
Efficient Unbalanced Quorum PSI from Homomorphic Encryption
저자: Xinpeng Yang , Liang Cai , Yinghao Wang , Keting Yin , Lu Sun , Jingwei Hu
키워드: #impractical #complexity #benchmarks #unbalanced #finding
파트: Cryptography | 연도: 2024
An intelligent selection of lightweight multivalued cryptographic boolean function based on Multi-criteria decision making
저자: Nabilah Abughazalah , Mian Muhammad Akhtar Hayat , Majid Khan
키워드: #nonlinear #benchmarks #cryptographic #avalanche #nonlinearity
파트: Verification | 연도: 2023
MMIO Access-Based Coverage for Firmware Analysis
저자: Ken Yihang Bai , Tuba Yavuz
키워드: #benchmarks #firmware #polling #firmstat #rehosting
파트: Analysis | 연도: 2023
File system performance comparison in the case of Docker container-based virtualization with Volumes and Bind mounts
저자: Borislav Đorđević , Aleksandar Stefanović , Valentina Timčenko
키워드: #virtualization #benchmarks #testing #file #filebench
파트: Software Development | 연도: 2022
Deep Learning--based Text Classification: A Comprehensive Review
저자: Shervin Minaee , Nal Kalchbrenner , Erik Cambria , Narjes Nikzad , Meysam Chenaghlu , Jianfeng Gao
키워드: #research #classical #years #40 #benchmarks
파트: Artificial Intelligence | 연도: 2021
Static analysis and family-based model checking of featured transition systems with VMC
저자: Maurice H Ter Beek , Franco Mazzanti , F. Damiani , Luca Paolini , Giordano Scarso , Michele Valfrè , Michaël Lienhardt
키워드: #modeling #benchmarks #toolchain #formalism #associating
파트: Verification | 연도: 2021
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