Author of the publication

Automated Verification Code Generation in HLS Using Software Execution Traces (Abstract Only).

, , , , and . FPGA, page 278. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Operation Area Measurement Based on Trajectories of Agricultural Machinery., , , , , , and . CCTA (1), volume 545 of IFIP Advances in Information and Communication Technology, page 384-394. Springer, (2017)Automated Verification Code Generation in HLS Using Software Execution Traces (Abstract Only)., , , , and . FPGA, page 278. ACM, (2016)JIT trace-based verification for high-level synthesis., , , , , and . FPT, page 228-231. IEEE, (2015)Research on RoF-PON Integrated Access System Based on Optical Carrier Suppression., , , and . ICCT, page 592-596. IEEE, (2021)Very Short-Term Surface Solar Irradiance Forecasting Based On FengYun-4 Geostationary Satellite., , , , , and . Sensors, 20 (9): 2606 (2020)Image Transmission System Designing of Triphibious Robot., , , and . ROBIO, page 1441-1446. IEEE, (2019)Distributed Algorithm for Computation Offloading in Mobile Edge Computing., , , , , and . ICCBN, page 129-133. ACM, (2021)Multichannel Wireless Signal and Power Transmission by Radio over Fiber., , , , , , and . ICCBN, page 227-231. ACM, (2021)Resource Allocation for Hybrid Visible Light Communications (VLC)-WiFi Networks., , , , , , and . ICCBN, page 310-313. ACM, (2021)Optimal Satellite Data Downloading to Multiple ESs by ISL Offloading in LEO Satellite Networks., , , and . MSN, page 188-193. IEEE, (2019)