deriving

  1. Home
  2. search page
  3. keyword

deriving

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

📄 키워드 상세정보

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

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

Robust Resource Bounds with Static Analysis and Bayesian Inference
저자: Long Pham , Feras A Saad , Jan Hoffmann
키워드: #innovation #optimization #empirical #automatic #deriving
파트: Strategies | 연도: 2024
Static Analysis of Resource Usage Bounds for Imperative Programs
저자: Liqian Chen , Taoqing Chen , Guangsheng Fan , Banghu Yin
키워드: #difficult #important #problem #slicing #deriving
파트: Verification | 연도: 2021
On the Capacity of Underwater Optical Wireless Communication Systems
저자: Yue Rong , Sven Nordholm , Alec Duncan
키워드: #wireless #acoustic #optical #underwater #deriving
파트: Networking | 연도: 2021