Probabilistically Analysable Real-Time Systems


Found 3 results

Maxim, D., L. Santinelli, and L. Cucu-Grosjean, "Improved sampling for statistical timing analysis of real-time systems", 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2010) in conjunction with 18th International Conference on Real-Time and Network Systems (RTNS'2010), 11/2010.
Santinelli, L., and L. Cucu-Grosjean, "Toward Probabilistic Real-Time Calculus", 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010), in conjunction with IEEE RTSS 2010, San Diego, 11/2010.