scientific article; zbMATH DE number 2080044
From MaRDI portal
Publication:4472231
zbMath1043.68510MaRDI QIDQ4472231
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800113.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Deterministic scheduling theory in operations research (90B35) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items (13)
Spotlight abstraction in model checking real-time task schedulability ⋮ Scheduling with timed automata ⋮ Schedulability analysis of fixed-priority systems using timed automata ⋮ Model Checking Real-Time Systems ⋮ Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Metaheuristics for the multi-objective FJSP with sequence-dependent set-up times, auxiliary resources and machine down time ⋮ A study on shuffle, stopwatches and independently evolving clocks ⋮ Realtime Channel Recommendation: Switch Smartly While Watching TV ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ Optimal infinite scheduling for multi-priced timed automata ⋮ Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm ⋮ On the Supports of Recognizable Timed Series ⋮ Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*
This page was built for publication:
