Sciweavers

2582 search results - page 255 / 517
» Scheduling in a Planning Environment
Sort
View
ICTAC
2010
Springer
14 years 11 months ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas
MMS
2000
15 years 17 days ago
Retrieval Scheduling for Collaborative Multimedia Presentations
Abstract. The single-system approach is no longer sufficient to handle the load on popular Internet servers, especially for those offering extensive multimedia content. Such servic...
Ping Bai, B. Prabhakaran, Aravind Srinivasan
VLDB
2004
ACM
128views Database» more  VLDB 2004»
16 years 1 months ago
Operator scheduling in data stream systems
In many applications involving continuous data streams, data arrival is bursty and data rate fluctuates over time. Systems that seek to give rapid or realtime query responses in su...
Brian Babcock, Shivnath Babu, Mayur Datar, Rajeev ...
RTCSA
2007
IEEE
15 years 7 months ago
Scheduling Algorithms for I/O Blockings with a Multi-frame Task Model
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
Shan Ding, Hiroyuki Tomiyama, Hiroaki Takada
ICS
2007
Tsinghua U.
15 years 7 months ago
GridRod: a dynamic runtime scheduler for grid workflows
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
Shahaan Ayyub, David Abramson