2582 search results - page 270 / 517 » Scheduling in a Planning Environment |
83
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
103
click to vote
FTDCS
1995
IEEE
15 years 4 months ago
1995
IEEE
A VOD server handles various types of media such as continuous media (CM) and non-continuous media (NM). Conventional VOD server buffer scheduling algorithms like Round Robin (RR)...
133
click to vote
CCGRID
2008
IEEE
15 years 2 months ago
2008
IEEE
Selection of resources for execution of scientific workflows in data grids becomes challenging with the exponential growth of files as a result of the distribution of scientific e...
OSDI
1996
ACM
15 years 2 months ago
1996
ACM
The need for supportingvarietyof hard and soft real-time, as well as best effort applications ina multimedia computing environment requires an operating system framework that: (1)...
103
Voted
ANOR
2008
15 years 26 days ago
2008
: The growth in demand for semiconductors has been accompanied by intense competition between semiconductor manufacturers to satisfy customer on-time delivery needs. This paper is ...