-
Linearized Data Center Workload and Cooling Management
The dataset used in the paper is a linearized version of the general power optimization problem for a data center, including several cooling parameters, heat recirculation... -
RADAR (Research Data Repository)
Imported
Experimental data for the paper "a comprehensive study of k-portfolios of rec...
Abstract: These are the experimental data for the paper Bach, Jakob, Markus Iser, and Klemens Böhm. "A Comprehensive Study of k-Portfolios of Recent SAT Solvers" published at...
