The following pages link to (Q4439571):
Displaying 4 items.
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)
- Schedulability criteria and analysis for dynamic and flexible resource management (Q2864353) (← links)
- Contego: an adaptive framework for integrating security tasks in real-time systems (Q3300250) (← links)