579 search results - page 86 / 116 » New efficiency results for makespan cost sharing |
ICDE
2012
IEEE
11 years 10 months ago
2012
IEEE
Abstract—This paper presents the GeoFeed system; a locationaware news feed system that provides a new platform for its users to get spatially related message updates from either ...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
The gain-based technology mapping paradigm has been successfully employed for finding minimum delay and minimum area mappings. However, existing gain-based technology mappers fail...
GECON
2007
Springer
14 years 1 months ago
2007
Springer
Grid Computing, initially intended to provide access to computational resources for high-performance computing applications, broadened its focus by addressing computational needs o...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
SPE
2010
13 years 5 months ago
2010
This paper surveys the research on power management techniques for high performance systems. These include both commercial high performance clusters and scientific high performanc...