scientific article; zbMATH DE number 2080041
From MaRDI portal
Publication:4472228
zbMath1043.68589MaRDI QIDQ4472228
Paul Pettersson, Elena Fersman, Wang Yi
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800067.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
Spotlight abstraction in model checking real-time task schedulability ⋮ Scheduling with timed automata ⋮ Schedulability analysis of fixed-priority systems using timed automata ⋮ Task automata: Schedulability, decidability and undecidability ⋮ A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems ⋮ A survey of timed automata for the development of real-time systems ⋮ State-based scheduling with tree schedules: analysis and evaluation ⋮ Graph-based models for real-time workload: a survey ⋮ Models and formal verification of multiprocessor system-on-chips ⋮ Formal verification of multitasking applications based on timed automata model ⋮ PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
Uses Software
This page was built for publication:
