974 search results - page 4 / 195 » scheduling 2010 |
ESORICS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
CLOUDCOM
2010
Springer
13 years 4 months ago
2010
Springer
User constraints such as deadlines are important requirements that are not considered by existing cloud-based data processing environments such as Hadoop. In the current implementa...
CCCG
2010
13 years 7 months ago
2010
ANOR
2010
13 years 7 months ago
2010
