synthesize

  1. Home
  2. search page
  3. keyword

synthesize

정의: Synthesis or synthesize may refer to:

📄 키워드 상세정보

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

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

Safe DNN-Type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning
저자: Xia Zeng , Hanrui Zhao , Niuniu Qi , Zhengfeng Yang , Zhenbing Zeng
키워드: #learning #training #optimization #experiments #synthesize
파트: Verification | 연도: 2025
Towards Porting Operating Systems with Program Synthesis
저자: Jingmei Hu , Eric Lu , David Andrew Holland , Ming Kawaguchi , Stephen Nathaniel Chong , Margo Seltzer
키워드: #decades #automated #synthesizes #synthesize #alewife
파트: Verification | 연도: 2023
Traffic Classification in Software-Defined Networking by Employing Deep Learning Techniques: A Systematic Literature Review
저자: Daniel Nuñez-Agurto , Walter Fuertes , Luis Marrone , Eduardo Benavides-Astudillo , Mitchell Vásquez-Bermúdez
키워드: #research #learning #integration #networking #synthesize
파트: Networking | 연도: 2023
Learning safe neural network controllers with barrier certificates
저자: Hengjun Zhao , Xia Zeng , Taolue Chen , Zhiming Liu , Jim C P Woodcock
키워드: #neural #experiment #feasibility #synthesis #synthesize
파트: Verification | 연도: 2021
Thermal and Voltage Side and Covert Channels and Attacks in Cloud FPGAs
저자: Jakub Szefer
키워드: #cryptographic #processors #synthesize #detected #instantiated
파트: Cryptography | 연도: 2020