Author of the publication

Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs.

, , and . SEC, page 203-215. IEEE, (2022)

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

Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing., , and . Mob. Networks Appl., 26 (6): 2258-2271 (2021)Modeling and verifying NDN-based IoV using CSP., , , , , and . J. Softw. Evol. Process., (2022)Formalization and Verification of the ICC Mechanism in Android System Using CSP., , , and . ISSREW, page 89-95. IEEE, (2023)IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS., , , , and . FCCM, page 1-10. IEEE, (2022)Formalization and Verification of SIP Using CSP., , , and . PDCAT, volume 13798 of Lecture Notes in Computer Science, page 158-171. Springer, (2022)Formalization and Verification of VANET., , , , , and . SEKE, page 1-6. KSI Research Inc., (2020)Verifying Opacity of a Modified PSTM., , and . TASE, page 232-239. IEEE, (2019)A 300-mA load CMOS low-dropout regulator without an external capacitor for SoC and embedded applications., , , , , and . Int. J. Circuit Theory Appl., 45 (12): 2281-2289 (2017)Formal Verification of COCO Database Framework Using CSP., , and . SEKE, page 363-368. KSI Research Inc., (2022)Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP., , , and . ISPA/BDCloud/SocialCom/SustainCom, page 845-852. IEEE, (2021)