7 search results - page 2 / 2 » The Lazy Bureaucrat Scheduling Problem |
PVLDB
2011
13 years 3 months ago
2011
Users of MapReduce often run into performance problems when they scale up their workloads. Many of the problems they encounter can be overcome by applying techniques learned from ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...