scientific article; zbMATH DE number 1796155
From MaRDI portal
Publication:4551179
zbMath0991.68507MaRDI QIDQ4551179
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020478
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items (14)
Scheduling with timed automata ⋮ Schedulability analysis of fixed-priority systems using timed automata ⋮ Model Checking Real-Time Systems ⋮ Task automata: Schedulability, decidability and undecidability ⋮ A study on shuffle, stopwatches and independently evolving clocks ⋮ Monte Carlo tree search for priced timed automata ⋮ Concavely-Priced Timed Automata ⋮ Timed discrete event control of parallel production lines with continuous outputs ⋮ Models and formal verification of multiprocessor system-on-chips ⋮ Optimal infinite scheduling for multi-priced timed automata ⋮ Unnamed Item ⋮ Timed automata relaxation for reachability ⋮ A partial order semantics approach to the clock explosion problem of timed automata ⋮ Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*
Uses Software
This page was built for publication:
