solvers

  1. Home
  2. search page
  3. keyword

solvers

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

📄 키워드 상세정보

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

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

Leveraging static analysis for cost-aware serverless scheduling policies
저자: Giuseppe De Palma , Saverio Giallorenzo , Cosimo Laneve , Jacopo Mauro , Matteo Trentin , Gianluigi Zavattaro
키워드: #agnostic #solvers #mitigates #serverless #hardcoded
파트: Verification | 연도: 2025
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
저자: Mark Peyrer , Maximilian Heisinger , Martina Seidl
키워드: #python #solvers #solver #formulas #boolean
파트: Software Development | 연도: 2024
BFF: foundational and automated verification of bitfield-manipulating programs
저자: Derek Dreyer , Fengmin Zhu , Michael Sammler , Rodolphe Lepigre , Deepak Garg
키워드: #computing #automation #solvers #hypervisor #toolchain
파트: Verification | 연도: 2022
Survey of Methods for Automated Code-Reuse Exploit Generation
저자: A. V. Vishnyakov , A. R. Nurmukhametov
키워드: #algorithms #tools #solvers #gadget #compiler
파트: Strategies | 연도: 2021
State Representation Learning For Effective Deep Reinforcement Learning
저자: Jian Zhao , Wengang Zhou , Tianyu Zhao , Yun Zhou , Houqiang Li
키워드: #learning #algorithms #success #recent #solvers
파트: Artificial Intelligence | 연도: 2020
Exploring Architectures for Cryptographic Access Control Enforcement in the Cloud for Fun and Optimization
저자: Roberto Carbone , Silvio Ranise , Stefano Berlato , Adam J Lee
키워드: #security #cryptographic #solvers #encrypted #proxy
파트: Verification | 연도: 2020