Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Paper
An elementary proof of the completeness of PDL
Related
Preeti Malakar, Thomas George, et al.
SC 2012
Conference paper
Optimization algorithms for energy-efficient data centers
Hendrik F. Hamann
InterPACK 2013
Thomas M. Cover
IEEE Trans. Inf. Theory