From post

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.

 

Другие публикации лиц с тем же именем

Formal Analysis of IBC Protocol., , , и . ICNP, стр. 1-11. IEEE, (2023)VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques., , и . TASE, стр. 135-142. IEEE, (2021)Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding., , , и . IEEE Real-Time and Embedded Technology and Applications Symposium, стр. 109-118. IEEE Computer Society, (2012)Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming., , , и . DATE, стр. 1-6. European Design and Automation Association, (2014)A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints.. ICECCS, стр. 128-137. IEEE Computer Society, (2017)Optimal Offloading for Streaming Applications in Mobile Edge Computing., , и . J. Circuits Syst. Comput., 31 (6): 2250102:1-2250102:22 (2022)A Smart Contract Development Framework for Maritime Transportation Systems., , , и . QRS Companion, стр. 310-319. IEEE, (2023)Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs.. TASE, стр. 36-43. IEEE Computer Society, (2018)A unified framework for throughput analysis of synchronous data flow graphs under memory constraints: work-in-progress.. CODES+ISSS, стр. 2:1-2:2. ACM, (2017)Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 35 (6): 905-918 (2016)