The following pages link to (Q4002512):
Displaying 10 items.
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- Heavy traffic scaling limits for shortest remaining processing time queues with heavy tailed processing time distributions (Q2083259) (← links)
- Multi-layered round robin routing for parallel servers (Q2505098) (← links)
- Migrating legacy scientific applications towards CORBA-based client-server architectures (Q2758777) (← links)
- Engineering efficient paging algorithms (Q2828192) (← links)
- Fair Scheduling via Iterative Quasi-Uniform Sampling (Q3304734) (← links)
- (Q3612012) (← links)
- Modelling and analysis of distributed program execution in BETA using coloured Petri Nets (Q4633166) (← links)
- Java based replicated server objects and their remote method invocations in a distributed environment (Q4791090) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)