On the dynamic semantics and the timing behavior of Ravenscar kernels

DOI10.1023/B:TIME.0000048937.17571.2BzbMath1097.68532OpenAlexW2002324803MaRDI QIDQ1780180

Juan Antonio de la Puente, Tullio Vardanega, Juan Zamorano

Publication date: 7 June 2005

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:time.0000048937.17571.2b

zbMATH Keywords

real-time systemsconcurrent programming

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Uses Software

• Unnamed Item

This page was built for publication: On the dynamic semantics and the timing behavior of Ravenscar kernels