Sciweavers

487 search results - page 9 / 98
» Schedulability analysis of AADL models
Sort
View
WSC
2008
14 years 4 days ago
Calculating float in linear schedules with singularity functions
This paper presents an exact approach of calculating float for each activity in linear schedules. It is based on singularity functions, which have been used previously to determin...
Gunnar Lucko, Angel A. Pena Orozco
WSC
2004
13 years 11 months ago
An Event Graph Based Simulation and Scheduling Analysis of Multi-Cluster Tools
Simulation methods are extensively used in modeling complex scheduling problems. However, traditional layout of simulation models can become complicated when they are used to find...
Shengwei Ding, Jingang Yi
IFIP
2010
Springer
13 years 4 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
INFOCOM
1996
IEEE
14 years 2 months ago
Latency-Rate Servers: A General Model for Analysis of Traffic Scheduling Algorithms
In this paper, we develop a general model, called Latency-Rate servers (LR servers), for the analysis of traffic scheduling algorithms in broadband packet networks. The behavior of...
Dimitrios Stiliadis, Anujan Varma
ANSS
2003
IEEE
14 years 3 months ago
Performance Analysis of Parallel Job Scheduling in Distributed Systems
This paper studies parallel job scheduling in a distributed system. A simulation model is used to address performance issues associated with scheduling. Five policies are used to ...
Helen D. Karatza, Ralph C. Hilzer Jr.