2274 search results - page 47 / 455 » Real-Time Scheduling in Distributed Systems |
RTSS
1998
IEEE
15 years 2 months ago
1998
IEEE
suitable disk layout and network transmission schedule to minimize allocated resources (buffer size, bandwidth, ..., etc.) with maximum resource utilization. In this paper, the rea...
CSREAPSC
2006
14 years 11 months ago
2006
RTSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Scheduling disk requests with service guarantees has to bring the demand to meet guarantees in line with the need to optimize disk utilization. This paper presents the design, imp...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...