dataflow

  1. Home
  2. search page
  3. keyword

dataflow

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

📄 키워드 상세정보

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

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

Bitmap-Based Security Monitoring for Deeply Embedded Systems
저자: Anni Peng , Dongliang Fang , Le Guan , Erik van Kouwe , Yin Li , Wenwen Wang , Limin Sun , Yuqing Zhang
키워드: #internet #microcontrollers #compromising #dataflow #bitmap
파트: Infrastructure | 연도: 2024
QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization
저자: David Ittah , Thomas Häner , Vadym Kliuchnikov , Torsten Hoefler
키워드: #computing #optimization #quantum #optimizations #dataflow
파트: Verification | 연도: 2022
Input splitting for cloud-based static application security testing platforms
저자: Martin Schäf , Maria Christakis , Thomas Cottenier , Antonio Filieri , Linghui Luo , Muhammad Numair Mansur , Lee Pike , Nicolás Rosner , Aritra Sengupta , Willem Visser
키워드: #algorithms #challenging #security #complexity #dataflow
파트: Verification | 연도: 2022
Fast Analysis of Evolving Software Systems
저자: Anushri Jana , Bharti Chimdyalwar , Shrawan Kumar , R. Venkatesh
키워드: #algorithm #automated #implemented #dataflow #updates
파트: Verification | 연도: 2022
Boosting static analysis accuracy with instrumented test executions
저자: Tianyi Chen , Kihong Heo , Mukund Raghothaman
키워드: #probabilistic #evidence #analyzer #dataflow #analyses
파트: Verification | 연도: 2021