Sciweavers

2355 search results - page 4 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
ISORC
2006
IEEE
14 years 3 months ago
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
Abdelouahed Gherbi, Ferhat Khendek
FDL
2008
IEEE
14 years 4 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
FEDCSIS
2011
117views more  FEDCSIS 2011»
12 years 9 months ago
Multiagent Distributed Grid Scheduler
—An approach for resource scheduling based on multiagent model with distributed queue is discussed. Algorithms of functioning agents for distributed Grid scheduling are presented...
Victor Korneev, Dmitry Semenov, Andrey Kiselev, Bo...
AMAST
2000
Springer
14 years 2 months ago
The Algebra of Multi-tasking
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
Colin J. Fidge
APPROX
2000
Springer
107views Algorithms» more  APPROX 2000»
14 years 2 months ago
Online real-time preemptive scheduling of jobs with deadlines
In this paper, we derive bounds on performance guarantees of online algorithms for real-time preemptive scheduling of jobs with deadlines on K machines when jobs are characterized ...
Bhaskar DasGupta, Michael A. Palis