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.

 

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

A methodology for mapping live sequence chart to coloured Petri net., , , , и . SMC, стр. 2999-3004. IEEE, (2005)Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads., , , , , , , и . IESS, том 184 из IFIP, стр. 77-86. Springer, (2005)A time Petri net-based method for embedded hard real-time software synthesis., , , , , и . Des. Autom. Embed. Syst., 12 (1-2): 31-62 (2008)A Novel Greedy Forward Algorithm for Routing Data toward a High Speed Sink in Wireless Sensor Networks., , , , и . ICCCN, стр. 1-7. IEEE, (2010)Memory Management Test-Case Generation of C Programs Using Bounded Model Checking., , и . SEFM, том 9276 из Lecture Notes in Computer Science, стр. 251-267. Springer, (2015)A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique., , , , и . ISIE, стр. 774-779. IEEE, (2012)Map2Check Using LLVM and KLEE - (Competition Contribution)., , , и . TACAS (2), том 10806 из Lecture Notes in Computer Science, стр. 437-441. Springer, (2018)Inserting DVFS Code in Hard Real-Time System Tasks., , , , и . SBESC, стр. 23-30. IEEE Computer Society, (2017)Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors., , и . Sci. Comput. Program., (2018)Brazilian Symposium on Computing System Engineering., , и . ACM SIGOPS Oper. Syst. Rev., 49 (2): 1-2 (2015)