文章引用情况
1
High-Level Synthesis of Approximate Designs under Real-Time Constraints2
Achieving Super-Linear Speedup across Multi-FPGA for Real-Time DNN Inference3
Accumulative Display Updating for Intermittent Systems4
Cache Locking Content Selection Algorithms for ARINC-653 Compliant RTOS5
MOOS: A Multi-Objective Design Space Exploration and Optimization Framework for NoC Enabled Manycore Systems6
Compositional Dataflow Circuits7
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search8
The Bionode: A Closed-Loop Neuromodulation Implant9
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control10
Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach