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.

 

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

Stability-aware analysis and design of embedded control systems., , , и . EMSOFT, стр. 23:1-23:10. IEEE, (2013)Temperature-gradient based test scheduling for 3D stacked ICs., , и . ICECS, стр. 405-408. IEEE, (2013)Temperature-Gradient-Based Burn-In and Test Scheduling for 3-D Stacked ICs., , и . IEEE Trans. Very Large Scale Integr. Syst., 23 (12): 2992-3005 (2015)Synthesis of VHDL concurrent processes., , , и . EURO-DAC, стр. 540-545. IEEE Computer Society, (1994)Model validation for embedded systems using formal method-aided simulation., , и . IET Comput. Digit. Tech., 2 (6): 413-433 (2008)Partitioned and overhead-aware scheduling of mixed-criticality real-time systems., , , и . ASP-DAC, стр. 39-44. ACM, (2019)On Reachability in Parameterized Phaser Programs., , , , и . TACAS (1), том 11427 из Lecture Notes in Computer Science, стр. 299-315. Springer, (2019)Analysis and synthesis of distributed real-time embedded systems., , и . Springer, (2004)2009 IEEE/ACM/IFIP 7th workshop on embedded systems for Real-Time multimedia (ESTIMedia 2009)., , , и . ESTIMedia, стр. 1. IEEE Computer Society, (2009)Scheduling with optimized communication for time-triggered embedded systems., , и . CODES, стр. 178-182. ACM, (1999)