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.

 

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

Concurrency in Ada, и . Cambridge University Press, New York, NY, USA, (1995)An Approach To Symbolic Worst-Case Execution Time Analysis, и . (2000)http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2148 Copyright c 2000 IFAC Keywords: Real-time, timing-analysis. 1..A Modula-2 implementation of a real-time process abstraction., , и . ACM SIGPLAN Notices, 23 (10): 49-58 (1988)Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme., , , и . Real Time Syst., 48 (1): 3-33 (2012)How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study.. Real Time Syst., 24 (2): 135-151 (2003)Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis., , , , , и . ACM Trans. Embed. Comput. Syst., 19 (5): 31:1-31:26 (2020)Real-Time Guarantees in Routerless Networks-on-Chip., и . ACM Trans. Embed. Comput. Syst., 22 (5): 88:1-88:27 (сентября 2023)A complete run-time overhead-aware schedulability analysis for MrsP under nested resources., , , , , и . J. Syst. Softw., (2020)Probabilistic timing analysis: An approach using copulas., , и . J. Embed. Comput., 1 (2): 179-194 (2005)Program Generators and Generation Software., и . Comput. J., 29 (4): 315-321 (1986)