scientific article; zbMATH DE number 1106353
From MaRDI portal
Publication:4371833
zbMath0890.68016MaRDI QIDQ4371833
Publication date: 21 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items
Schedulability analysis of fixed-priority systems using timed automata ⋮ Minimal schedulability interval for real-time systems of periodic tasks with offsets ⋮ Liu and Layland's schedulability test revisited ⋮ Sporadic event-based control of first-order linear stochastic systems ⋮ Task automata: Schedulability, decidability and undecidability ⋮ Dispatch sequences for embedded control models ⋮ Solution of the Liu-Layland problem via bottleneck just-in-time sequencing ⋮ Perturbation analysis and optimization of stochastic hybrid systems ⋮ Feasibility analysis of real-time transactions ⋮ MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS ⋮ Formal verification of multitasking applications based on timed automata model ⋮ Memory-centric scheduling for multicore hard real-time systems ⋮ HARTEX?a safe real-time kernel for distributed computer control systems ⋮ Run-time spatial mapping of streaming applications to heterogeneous multi-processor systems ⋮ GPU-based acceleration of system-level design tasks ⋮ Real-time task scheduling for energy-aware embedded systems ⋮ Rate monotonic scheduling re-analysed ⋮ Optimal admission control of discrete event systems with real-time constraints ⋮ Sensor networks and cooperative control ⋮ An integrated DBP for streams with (m, k)-firm real-time guarantee ⋮ A theory for execution-time derivation in real-time programs ⋮ Feasibility analysis of real-time periodic tasks with offsets
This page was built for publication:
