scientific article; zbMATH DE number 2080041
From MaRDI portal
Publication:4472228
zbMATH Open1043.68589MaRDI QIDQ4472228FDOQ4472228
Authors: Elena Fersman, Paul Pettersson, 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 of this publication is not available (Why is that?)
Recommendations
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)
Cited In (18)
- Models and formal verification of multiprocessor system-on-chips
- A survey of timed automata for the development of real-time systems
- Title not available (Why is that?)
- Schedulability of asynchronous real-time concurrent objects
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
- Spotlight abstraction in model checking real-time task schedulability
- Scheduling with timed automata
- Coverability problem of asynchronous multi-process timed automata
- Title not available (Why is that?)
- Schedulability analysis of fixed-priority systems using timed automata
- State-based scheduling with tree schedules: analysis and evaluation
- Formal verification of multitasking applications based on timed automata model
- Task automata: Schedulability, decidability and undecidability
- Tools and Algorithms for the Construction and Analysis of Systems
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
- On global scheduling independency in networks of timed automata
- Title not available (Why is that?)
- Graph-based models for real-time workload: a survey
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472228)
