Automated Buffer Sizing of Dataflow Applications in a High-level Synthesis WorkflowACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMSIF2.82024-01-270OA
Polychronous automata and their use for formal validation of AADL modelsFRONTIERS OF COMPUTER SCIENCEIF4.62019-06-182PREAI
未登录.png){kind=icon}
未登录
