The following pages link to (Q4371833):
Displaying 22 items.
- Liu and Layland's schedulability test revisited (Q294728) (← links)
- Feasibility analysis of real-time transactions (Q438201) (← links)
- Perturbation analysis and optimization of stochastic hybrid systems (Q629652) (← links)
- Feasibility analysis of real-time periodic tasks with offsets (Q813143) (← links)
- Dispatch sequences for embedded control models (Q858316) (← links)
- Solution of the Liu-Layland problem via bottleneck just-in-time sequencing (Q880504) (← links)
- GPU-based acceleration of system-level design tasks (Q987745) (← links)
- Rate monotonic scheduling re-analysed (Q991759) (← links)
- Minimal schedulability interval for real-time systems of periodic tasks with offsets (Q1884967) (← links)
- Memory-centric scheduling for multicore hard real-time systems (Q2251351) (← links)
- Run-time spatial mapping of streaming applications to heterogeneous multi-processor systems (Q2269913) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Sporadic event-based control of first-order linear stochastic systems (Q2378001) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)
- Sensor networks and cooperative control (Q2512000) (← links)
- A theory for execution-time derivation in real-time programs (Q2576947) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- An integrated DBP for streams with (m, k)-firm real-time guarantee (Q3371699) (← links)
- HARTEX?a safe real-time kernel for distributed computer control systems (Q4406096) (← links)
- MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS (Q4902881) (← links)
- Real-time task scheduling for energy-aware embedded systems (Q5952843) (← links)
- Optimal admission control of discrete event systems with real-time constraints (Q5962023) (← links)
