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 formal framework to design and prove trustworthy memory controllers., , и . Real Time Syst., 59 (4): 664-704 (декабря 2023)Work-conserving dynamic time-division multiplexing for multi-criticality systems., , , и . Real Time Syst., 56 (2): 124-170 (2020)Leveraging Predicated Execution for Multimedia Processing., , и . ESTIMedia, стр. 85-90. IEEE Computer Society, (2007)From the Standards to Silicon: Formally Proved Memory Controllers., , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 295-311. Springer, (2023)Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis., , и . WCET, том 39 из OASIcs, стр. 83-92. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Splitting functions into single-entry regions., и . CASES, стр. 17:1-17:10. ACM, (2014)Experimental energy profiling of energy-critical embedded applications., , , и . SoftCOM, стр. 1-6. IEEE, (2017)DSP Instruction Set Simulation., , и . Handbook of Signal Processing Systems, Springer, (2013)Static profiling of the worst-case in real-time programs., , и . RTNS, стр. 101-110. ACM, (2012)Compiler generation from structural architecture descriptions., , и . CASES, стр. 13-22. ACM, (2007)